Searching for "Intersection types and lambda models." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Intersection Types and Lambda Models
by Fabio Alessi, Franco Barbanera — 2005
…Abstract Intersection Types and Lambda Models Fabio Alessi a a Dip. di Matematica e Informatica…
Cited by 5 (0 self) – Add To MetaCart

A Complete Characterization of Complete Intersection-Type Preorders
by Dezani-Ciancaglini Universita Di, Intersection-type Preorders, M. Dezani-ciancaglini, Università Di Torino, F. Honsell, F. Alessi, Università Di Udine
… and Phrases: Lambda calculus, Intersection Types, Lambda Models, Completness 1. INTRODUCTION Intersection-types…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB