On global dynamics of optimal graph reductionJulia

  • L. Lawall
  • Published 1997
Optimal graph reduction technology for the-calculus, as developed by Lamping, with mod-iications by Asperti, Gonthier, Abadi, and L evy, has a well-understood local dynamics based on a standard menagerie of reduction rules, as well as a global context semantics based on Girard's geometry of interaction. However, the global dynamics of graph reduction has… CONTINUE READING