General Recursion in Type Theory (2003)

by A Bove
Venue:Types for Proofs and Programs, International Workshop TYPES 2002, The Netherlands, No. 2646 in Lecture Notes in Computer Science