A metaevaluator for the language Refal. Basic concepts and examples (1987)

by S A V Romanenko
Venue:Keldysh Institute of Applied Mathematics, Academy of Sciences of the USSR