Author:
Alessi Fabio,Dezani-Ciancaglini Mariangiola
Subject
General Computer Science,Theoretical Computer Science
Reference19 articles.
1. Intersection types and domain operators;Alessi;Theoret. Comput. Sci.,2004
2. Simple easy terms;Alessi,2002
3. A filter lambda model and the completeness of type assignment;Barendregt;J. Symbolic Logic,1984
4. An extended polymorphic type system for applicative languages;Coppo,1980
5. An extension of the basic functionality theory for the λ-calculus;Coppo;Notre Dame J. Formal Logic,1980