Towards an Intersection Typed System à la Church

Luigi Liquori 1, 2 Simona Ronchi Della Rocca 3
1 MIRHO - Objects, types and prototypes : semantics and validation
CRISAM - Inria Sophia Antipolis - Méditerranée , UHP - Université Henri Poincaré - Nancy 1, Université Nancy 2, INPL - Institut National Polytechnique de Lorraine, CNRS - Centre National de la Recherche Scientifique : UMR7503
2 LOGNET - Logical Networks: Self-organizing Overlay Networks and Programmable Overlay Computing Systems
CRISAM - Inria Sophia Antipolis - Méditerranée
3 Dipartimento di Informatica [Torino]
Abstract : In this paper, we presents a comfortable fully typed lambda calculus based on the well-known intersection type system discipline where proof are not only feasible but easy; the present system is the counterpart à la Church of the type assignment system as invented by Coppo and Dezani.
Keywords : Typed lambda calculus Intersection types Church type assignment system Curry-Howard correspondence
Type de document :
Communication dans un congrès
Elsevier. Proceedings of the Third International Workshop on Intersection Types and Related Systems (ITRS 2004) Intersection Types and Related Systems 2004, Jul 2004, Turku, Finland. Elsevier, Electronic Notes in Theoretical Computer Science, 136, pp.43-56, 2005, 〈10.1016/j.entcs.2005.06.015〉
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-01149611
Contributeur : Luigi Liquori <>
Soumis le : jeudi 7 mai 2015 - 13:00:56
Dernière modification le : samedi 27 janvier 2018 - 01:31:33
Document(s) archivé(s) le : mercredi 19 avril 2017 - 19:05:17

Fichier

2005-itrs-04.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

INRIA | UNIV-LORRAINE

Citation

Luigi Liquori, Simona Ronchi Della Rocca. Towards an Intersection Typed System à la Church. Elsevier. Proceedings of the Third International Workshop on Intersection Types and Related Systems (ITRS 2004) Intersection Types and Related Systems 2004, Jul 2004, Turku, Finland. Elsevier, Electronic Notes in Theoretical Computer Science, 136, pp.43-56, 2005, 〈10.1016/j.entcs.2005.06.015〉. 〈hal-01149611〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

204

Téléchargements de fichiers

41

Contact


archive-ouverte@inria.fr