Modelling general recursion in type theory (2005)

by A Bove, V Capretta
Venue:Mathematical Structures in Computer Science