Intensional interpretation of functionals of type (1967)

by W W Tait
Venue:Journal of symbolic logic