Mechanizing !-Order Type Theory Through Unification (1976)

by D C Jensen, T Pietrzykowski
Venue:Theoretical Computer Science