On Fixed point and Looping Combinators in Type Theory

by Herman Geuvers , Joep Verkoelen