Towards an Intersection Typed System à la Church - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2005

Towards an Intersection Typed System à la Church

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.
Fichier principal
Vignette du fichier
2005-itrs-04.pdf (388.81 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01149611 , version 1 (07-05-2015)

Identifiers

Cite

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⟩
127 View
70 Download

Altmetric

Share

Gmail Facebook X LinkedIn More