Searching for "Intersection types for lambda-trees." – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

Intersection Types for &lambda;-Trees
by Steffen van Bakel, Franco Barbanera, Mariangiola Dezani-ciancaglini, Fer-Jan de Vries — 1999
…Intersection Types for -Trees Steffen van Bakel a ;? Franco Barbanera b ;? Mariangiola Dezani…
Add To MetaCart

Showing 1 through 1.

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