Pure Type Systems with Definitions (1993)

Cached

Download Links

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