Pure Type Systems with Definitions (1993)

Cached

Download Links

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