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
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.
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

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〉

Partager

Métriques

Consultations de la notice

208

Téléchargements de fichiers

41