Richard Statman. Logical Relations and the Typed lambda-Calculus. Inf. Comput., 65(2/3):85-97, May/June 1985.
@article{Statman85,
title = {Logical Relations and the Typed lambda-Calculus},
author = {Richard Statman},
year = {1985},
month = {May/June},
researchr = {https://researchr.org/publication/Statman85},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {65},
number = {2/3},
pages = {85-97},
}