Richard Statman. Completeness, Invariance and lambda-Definability. Journal of Symbolic Logic, 47(1):17-26, 1982.
@article{Statman82,
title = {Completeness, Invariance and lambda-Definability},
author = {Richard Statman},
year = {1982},
tags = {completeness},
researchr = {https://researchr.org/publication/Statman82},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {47},
number = {1},
pages = {17-26},
}