@article{Tait_1967,
    doi = {10.2307/2271658},
    url = {https://doi.org/10.2307%2F2271658},
    year = {1967},
    month = {aug},
    publisher = {Cambridge University Press ({CUP})},
    volume = {32},
    number = {2},
    pages = {198--212},
    author = {W. W. Tait},
    title = {Intensional interpretations of functionals of finite type I},
    journal = {Journal of Symbolic Logic}
}

@article{Tait_1967, doi = {10.2307/2271658}, url = {https://doi.org/10.2307%2F2271658}, year = {1967}, month = {aug}, publisher = {Cambridge University Press ({CUP})}, volume = {32}, number = {2}, pages = {198--212}, author = {W. W. Tait}, title = {Intensional interpretations of functionals of finite type I}, journal = {Journal of Symbolic Logic} }