Intensional interpretation of functionals of type I (1967)

by W W Tait
Venue:Journal of Symbolic Logic