Lescanne, Pierre
-
BRICS Report Series No. 56 (1996): RS-56 Modeling, Sharing, and Recursion for Weak Reduction Strategies using Explicit Substitution - Articles
Modeling, Sharing, and Recursion for Weak Reduction Strategies using Explicit Substitution
Abstract PDF