Minimal typing derivations (1994)

by N S Bjrner
Venue:In ACM SIGPLAN Workshop on ML and its Applications