On Fixed point and Looping Combinators in Type Theory

Cached

Download Links

by Herman Geuvers , Joep Verkoelen