Simple overloading for type theories (1994)

by P Aczel
Venue:The Coq Proof Assistant Reference Manual (Version 6.3.1). INRIA-Rocquencourt