Intensional interpretation of functionals of finite type (1967)

by W W Tait
Venue:Journal of Symbolic Logic