Structural Recursive Definitions in Type Theory

Structural Recursive Definitions in Type Theory (1998)

Cached

Download Links

[ftp.inria.fr]

Other Repositories/Bibliography

DBLP

Save to List
Add to Collection
Correct Errors
Monitor Changes

by Eduardo Gimenez

Venue:	Automata, Languages and Programming, 25th International Colloquium, ICALP’98
Citations:	28 - 0 self

Document Versions

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