No CrossRef data available.
Article contents
Les I-types du système ${\cal F}$
Published online by Cambridge University Press: 15 April 2002
Abstract
We prove in this paper that the types of system ${\cal F}$ inhabited uniquely by λI-terms (the I-types) have a positive quantifier. We give also consequences of this result and some examples.
Keywords
- Type
- Research Article
- Information
- Copyright
- © EDP Sciences, 2001