A self-interpreter of -calculus having a normal form. Technical report, Universit`a di Aquila (1992)

by A Berarducci, C Bohm