References
Church, A. Annals of Mathematical Studies, Vol. 6: The Calculi of Lambda-Conversion. Princeton University Press, 1941.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Penrose, R. Reminiscences of Christopher Strachey. Higher-Order and Symbolic Computation 13, 83–84 (2000). https://doi.org/10.1023/A:1010062026735
Issue Date:
DOI: https://doi.org/10.1023/A:1010062026735