Order-sorted type theory I: Unification (1991)

by Michael Kohlhase
Venue:SEKI Report SR91 -18 (SFB), Fachbereich Informatik, Universitat des Saarlandes, Im Stadtwald