Les types de données syntaxiques du système F

Simple item page
dc.creatorFarkh, Samir
dc.creatorNour, Karim
dc.date2009-05-06
dc.date.accessioned2026-07-07T13:12:11Z
dc.date.available2026-07-07T13:12:11Z
dc.descriptionWe give in this paper a purely syntactical definition of input and output types of system 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 $\forall$-elimination rule in order to prove that an output type is an input type.
dc.identifierhttps://arxiv.org/abs/0905.0754
dc.identifierhttp://arxiv.org/abs/0905.0754
dc.identifierInformatique Théorique et Applications 35 (2001) 207-221
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/229510
dc.subjectLogic
dc.titleLes types de données syntaxiques du système F
dc.typetext

Files

Collections

arXiv