A self-interpreter of lambda calculus having a normal form (1993)

by Alessandro Berarducci, Corrado Böhm
Venue:In CSL ’92: Selected Papers from the Workshop on Computer Science Logic