Skip to content

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

Alessandro Berarducci, Corrado Bhm

VenueBCSL
Year1992
ProceedingsCSL

Browse the full CSL paper archive.