Scifaro

中文

系统F的I-类型

逻辑 2009-05-05 v1

作者: Karim Nour

在 arXiv 上查看 ↗ PDF ↗

摘要

本文证明了系统F中唯一由 $\lambda$ I-项占有的类型（I-类型）具有正量词。我们还给出了这一结果的推论和一些例子。

关键词

系统F I-类型 lambda-I-项正量词类型占有

引用

@article{arxiv.0905.0458,
  title  = {I-Types of System F},
  author = {Karim Nour},
  journal= {arXiv preprint arXiv:0905.0458},
  year   = {2009}
}