On the expressive power of simply typed and let-polymorphic lambda calculi (1996)

Cached

Download Links

by Gerd Hillebrand , Paris Kanellakis
Venue: 11th Annual IEEE Symp. on Logic in Computer Science (LICS'96)
Citations:6 - 0 self