Information and ControlVolume 65, Issues 2–3, May–June 1985, Pages 85-97Information and Cont...Logical relations and the typed λ-calculusAuthor links open overlay panelR. StatmanShow moreShareCitehttps://doi.org/10.1016/S0019-9958(85)80001-2Get rights and contentUnder an Elsevier user licenseopen archivePrevious article in issueNext article in issueRecommended articlesCited by (0)Copyright © 1985 Published by Elsevier Inc.