Lecture on Union Types at the Logical Frameworks meeting (1990)

by Susumu Hayashi