Albert R. Meyer. What is a Model of the Lambda Calculus?. Inf. Comput., 52(1):87-122, January 1982.
@article{Meyer82:0,
title = {What is a Model of the Lambda Calculus?},
author = {Albert R. Meyer},
year = {1982},
month = {January},
tags = {meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/Meyer82%3A0},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {52},
number = {1},
pages = {87-122},
}