Intensional interpretations of functionals of finite type I (1967)

by W W Tait
Venue:Journal of Symbolic Logic