Fabio Alessi and Mariangiola Dezani-Ciancaglini
Type preorders and recursive terms
In Proc. 3rd Int'l Workshop Intersection Types & Related
Systems (ITRS 2004), pages 3-21, 2005
The ITRS '04 proceedings appears as vol. 136 (2005-07-19) of
Elec. Notes in Theoret. Comp. Sci.
We show how to use intersection types for building
models of a lambda-calculus enriched with
recursive terms, whose intended meaning is of
minimal fixed points. As a by-product we
prove an interesting consistency result.
[ bib |
.pdf ]
Back
This file has been generated by
bibtex2html 1.43