Efficient self-interpretation in lambda calculus
From MaRDI portal
Publication:4764616
DOI10.1017/S0956796800000423zbMath0817.68051MaRDI QIDQ4764616
Publication date: 6 August 1995
Published in: Journal of Functional Programming (Search for Journal in Brave)
Related Items
The Impact of the Lambda Calculus in Logic and Computer Science, The development of a partial evaluator for extended lambda calculus, The self-reduction in lambda calculus
Uses Software
Cites Work