DOI10.1016/j.ic.2008.09.003zbMath1167.03010MaRDI QIDQ1021568
Jan Willem Klop, H. P. Barendregt
Publication date: 8 June 2009 Published in: Information and Computation (Search for Journal in Brave) Full work available at URL: http://hdl.handle.net/2066/75183
zbMATH Keywords
Böhm trees; Berry's sequentiality theorem; surjective pairing
Mathematics Subject Classification ID
68N18: Functional programming and lambda calculus
03B40: Combinatory logic and lambda calculus