Pure Type Systems with Definitions (1993)

by Paula Severi , Erik Poll