Skip to Main content Skip to Navigation
Conference papers

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
Document type :
Conference papers
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download
https://hal.inria.fr/hal-01149611
Contributor : Luigi Liquori Connect in order to contact the contributor
Submitted on : Thursday, May 7, 2015 - 1:00:56 PM
Last modification on : Saturday, January 27, 2018 - 1:31:33 AM
Long-term archiving on: : Wednesday, April 19, 2017 - 7:05:17 PM

File

Vignette du document
2005-itrs-04.pdf
Files produced by the author(s)

Identifiers

Collections

CNRS | INRIA | UNIV-LORRAINE

Citation

Luigi Liquori, Simona Ronchi Della Rocca. Towards an Intersection Typed System à la Church. Proceedings of the Third International Workshop on Intersection Types and Related Systems (ITRS 2004) Intersection Types and Related Systems 2004, Jul 2004, Turku, Finland. pp.43-56, ⟨10.1016/j.entcs.2005.06.015⟩. ⟨hal-01149611⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Les métriques sont temporairement indisponibles

 

Contact                    Legal Notice                    Personal Data