No CrossRef data available.
Article contents
Les I-types du système ${\cal F}$![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20161010045634587-0111:S0988375401001163:S0988375401001163_eqnU1.gif)
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