@incollection{Lambek_1986,
    doi = {10.1007/3-540-17184-3_44},
    url = {https://doi.org/10.1007%2F3-540-17184-3_44},
    year = {1986},
    publisher = {Springer Berlin Heidelberg},
    pages = {136--175},
    author = {J. Lambek},
    title = {Cartesian closed categories and typed {$\lambda$}-calculi},
    booktitle = {Combinators and Functional Programming Languages}
}

@incollection{Lambek_1986, doi = {10.1007/3-540-17184-3_44}, url = {https://doi.org/10.1007%2F3-540-17184-3_44}, year = {1986}, publisher = {Springer Berlin Heidelberg}, pages = {136--175}, author = {J. Lambek}, title = {Cartesian closed categories and typed {$\lambda$}-calculi}, booktitle = {Combinators and Functional Programming Languages} }