Searching for "The heart of intersection type assignment Normalisation proofs revisited." – 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.

The heart of intersection type assignment; normalisation proofs revisited
by Steffen Van Bakel — 2006
…The Heart of Intersection Type Assignment Normalisation proofs revisited Steffen van Bakel ⋆ Inria…
Cited by 3 (2 self) – Add To MetaCart

The Heart of Intersection Type Assignment
by unknown authors
… The Heart of Intersection Type Assignment Normalisation proofs revisited Steffen van Bakel…
Add To MetaCart

Showing 1 through 2.

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