Information and ControlVolume 52, Issue 3, March 1982, Pages 306-332Information and Cont...Models of the lambda calculusAuthor links open overlay panelC.P.J. KoymansShow moreShareCitehttps://doi.org/10.1016/S0019-9958(82)90796-3Get rights and contentUnder an Elsevier user licenseopen archivePrevious article in issueNext article in issueRecommended articlesCited by (0)Copyright © 1982 Published by Elsevier Inc.