Structural Recursive Definitions in Type Theory (1998)

Cached

Download Links

by Eduardo Gimenez
Venue:Automata, Languages and Programming, 25th International Colloquium, ICALP’98
Citations:35 - 0 self