Learn More
1. Introduction NORMA (Normal Order Reduction MAchine) is a special-purpose machine designed explicitly for graph reduction, with some optimizations for combinator graph reduction in particular. It(More)
  • 1