Structural recursive definitions in type theory (1998)

by Eduardo Giménez
Venue:In ICALP ’98: Proceedings of the 25th International Colloquium on Automata, Languages and Programming