Structural recursive de in type theory (1998)

by E Gimenez
Venue:In Automata, Languages and Programming, 25th International Colloquium, ICALP'98