Intensional Interpretations of Functionals of Finite Type (1967)

by W W Tait
Venue:I. JSL