I-Types of System F

Simple item page
dc.creatorNour, Karim
dc.date2009-05-04
dc.date.accessioned2026-07-07T13:11:31Z
dc.date.available2026-07-07T13:11:31Z
dc.descriptionWe prove in this paper that the types of system F inhabited uniquely by ?I-terms (the I-types) have a positive quantifier. We give also consequences of this result and some examples.
dc.identifierhttps://arxiv.org/abs/0905.0458
dc.identifierhttp://arxiv.org/abs/0905.0458
dc.identifierInformatique Théorique et Applications 35 (2001) 223-237
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/229307
dc.subjectLogic
dc.titleI-Types of System F
dc.typetext

Files

Collections

arXiv