Compositional Characterizations of λ-terms using Intersection Types (Extended Abstract) (2000)

Cached

Download Links

by M. Dezani-Ciancaglini , F. Honsell , Y. Motohama
Citations:17 - 6 self