Definitional interpreters for higher-order programming languages (0)

by J Reynolds
Venue:Higher-Order and Symbolic Computation 11 (1998), 363–397, reprint of [Rey72