Structural Recursive Definitions in Type Theory (1998)

by Eduardo Gimenez
Venue:Automata, Languages and Programming, 25th International Colloquium, ICALP’98