Pure type systems with definitions (1994)

by P Severi, E Poll
Venue:In LFCS