"A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, ..."

Walid Taha (2000)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics