A-translation and Looping Combinators in Pure Type Systems (1994)

Cached

Download Links

by Thierry Coquand , Hugo Herbelin
Venue:Journal of Functional Programming
Citations:9 - 1 self