Martin Hyland, Misao Nagayama, John Power, Giuseppe Rosolini. A Category Theoretic Formulation for Engeler-style Models of the Untyped lambda. Electronic Notes in Theoretical Computer Science, 161:43-57, 2006. [doi]
@article{HylandNPR06,
title = {A Category Theoretic Formulation for Engeler-style Models of the Untyped lambda},
author = {Martin Hyland and Misao Nagayama and John Power and Giuseppe Rosolini},
year = {2006},
doi = {10.1016/j.entcs.2006.04.024},
url = {http://dx.doi.org/10.1016/j.entcs.2006.04.024},
researchr = {https://researchr.org/publication/HylandNPR06},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {161},
pages = {43-57},
}