Structural recursive definitions in type theory (1998)

by E Giménez
Venue:Proceedings of the 25th International Colloquium on Automata, Languages and Programming (ICALP ’98), volume 1443 of LNCS