No CrossRef data available.
Article contents
Les types de données syntaxiques du système ${\cal F}$
Published online by Cambridge University Press: 15 April 2002
Abstract
We give in this paper a purely syntactical definition of input and output types of system ${\cal F}$. We define the syntactical data types as input and output types. We show that any type with positive quantifiers is a syntactical data type and that an input type is an output type. We give some restrictions on the ∀-elimination rule in order to prove that an output type is an input type.
- Type
- Research Article
- Information
- Copyright
- © EDP Sciences, 2001