Scifaro

中文

多原子类型上的收缩

计算机科学中的逻辑 2007-05-23 v1

作者: Laurent Regnier , Pawel Urzyczyn

在 arXiv 上查看 ↗ PDF ↗

摘要

我们为建立在多个原子之上的简单类型中的仿射 β-η-收缩定义了一个可靠且完备的证明系统，并给出了简单类型与多态类型中任意 β-η-收缩的简单必要条件。

关键词

收缩简单类型多原子仿射 β-η 证明系统多态类型

引用

@article{arxiv.cs/0212005,
  title  = {Retractions of Types with Many Atoms},
  author = {Laurent Regnier and Pawel Urzyczyn},
  journal= {arXiv preprint arXiv:cs/0212005},
  year   = {2007}
}

备注

First International Workshop on Isomorphisms of Types Toulouse, France, 8-9 november 2002