Pure Type Systems with Definitions (1993)

Cached

Download Links

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