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

View PDF

Download Links

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