Pure type systems with definitions. Computing science note 93/24 (1993)

by Paula Severi, Erik Poll