Modelling general recursion in type theory (2005)

by Ana Bove, Venanzio Capretta
Venue:Mathematical Structures in Computer Science