arXiv Open Access 2009

I-Types of System F

Karim Nour

Lihat Sumber

Abstrak

We prove in this paper that the types of system F inhabited uniquely by ?I-terms (the I-types) have a positive quantifier. We give also consequences of this result and some examples.

Topik & Kata Kunci

math.LO

Penulis (1)

Karim Nour

Format Sitasi

APA MLA BibTeX

Nour, K. (2009). I-Types of System F. https://arxiv.org/abs/0905.0458

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2009
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓