Currently displaying 1 – 3 of 3

Showing per page

Order by Relevance | Title | Year of publication

Les I -types du système ℱ

K. Nour — 2001

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Nous démontrons dans ce papier que les types du système ℱ habités uniquement par des λ I -termes (les I -types) sont à quantificateur positif. Nous présentons ensuite des conséquenses de ce résultat et quelques exemples.

Les -types du système ℱ

K. Nour — 2010

RAIRO - Theoretical Informatics and Applications

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

Page 1

Download Results (CSV)