A second order theory of functionals of higher type, with two appendices. Appendix A: Intensional functionals. Appendix B. An interpretation of functionals by convertible terms., Stanford Seminar Report pp. 171–206. A published version is [Tait (1967)

by W Tait