A Self-Interpreter of Lambda Calculus Having a Normal Form.

Alessandro Berarducci Corrado Böhm A Self-Interpreter of Lambda Calculus Having a Normal Form. 85-99 1992 conf/csl/1992 CSL db/conf/csl/csl92.html#BerarducciB92 http://dx.doi.org/10.1007/3-540-56992-8_7