Types and partial functions. Handwritten manuscript (1984)

by G D Plotkin