Pure Type Systems with Definitions (1993)

Cached

Download Links

by Paula Severi , Erik Poll
Citations:20 - 1 self

Document Versions

Pure Type Systems with Definitions –Paula Severi , Erik Poll — 1993
Pure Type Systems with Definitions –Paula Severi, Erik Poll — 1993 — In Logical Foundations of Computer Science '94, number 813 in LNCS