Pure Type Systems with Definitions (1993)

Cached

Download Links

by Paula Severi , Erik Poll
Venue:In Logical Foundations of Computer Science '94, number 813 in LNCS
Citations:20 - 1 self