Giuseppe Longo. Set-theoretical models of λ-calculus: theories, expansions, isomorphisms. Annals of Pure and Applied Logic, 24(2):153-188, 1983. [doi]
@article{Longo83,
title = {Set-theoretical models of λ-calculus: theories, expansions, isomorphisms},
author = {Giuseppe Longo},
year = {1983},
doi = {10.1016/0168-0072(83)90030-1},
url = {https://doi.org/10.1016/0168-0072(83)90030-1},
researchr = {https://researchr.org/publication/Longo83},
cites = {0},
citedby = {0},
journal = {Annals of Pure and Applied Logic},
volume = {24},
number = {2},
pages = {153-188},
}