Lescanne, Pierre
-
BRICS Report Series Nr. 56 (1996): RS-56 Modeling, Sharing, and Recursion for Weak Reduction Strategies using Explicit Substitution - Artikler
Modeling, Sharing, and Recursion for Weak Reduction Strategies using Explicit Substitution
Resumé PDF (English)