Pure type systems with definitions (1994)

by P Severi, E Poll
Venue:Proceedings of LFCS'94