Structural Recursive Definitions in Type Theory (1998)

by E Gimenez
Venue:In Proc. of ICALP