Benaissa, Zine-El-Abidine

• 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