Structural Recursive Definitions in Type Theory (1998)

Cached

Download Links

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

Document Versions

Structural Recursive Definitions in Type Theory –Eduardo Gimenez — 1998 — Automata, Languages and Programming, 25th International Colloquium, ICALP’98