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
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.
Complete list of metadatas

Cited literature [16 references]  Display  Hide  Download

https://hal.inria.fr/hal-01149611
Contributor : Luigi Liquori <>
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

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

Identifiers

Collections

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⟩

Share

Metrics

Record views

300

Files downloads

276