Gödelization in the lambda calculus
From MaRDI portal
Publication:294781
DOI10.1016/S0020-0190(00)00071-5zbMath1339.03016MaRDI QIDQ294781
Publication date: 16 June 2016
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S0020019000000715?np=y
03B40: Combinatory logic and lambda calculus
Related Items
Cites Work