Modelling general recursion in type theory (0)

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