and Venanzio Capretta. Modelling general recursion in type theory (0)

by Ana Bove
Venue:Mathematical Structures in Computer Science