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

  Zine-El-Abidine Benaissa, Pierre Lescanne, Kristoffer H. Rose

  • PDF (English)