Simple overloading for type theories. Privately circulated notes (1994)

by P Aczel