Structural recursive de nitions in type theory (1998)

by E Gimenez
Venue:In Automata, Languages and Programming