Directed virtual reductions

This publication has 3 references indexed in Scilit:

• Geometry of interaction III: accommodating the additives
  Published by Cambridge University Press (CUP) ,1995
• δο!∈=1 Optimizing optimal λ-calculus implementations
  Published by Springer Nature ,1995
• The Algebraic Theory of Semigroups, Volume I
  Published by American Mathematical Society (AMS) ,1961