Lamping’s optimal graph reduction technique for the λ-calculus is generalized to a new class of higher order rewriting systems, called Interaction Systems. This provides a uniform description, in Lamlfing’s style, of other basic computational constructs such as conditionals and recursion.
CITATION STYLE
Asperti, A., & Laneve, C. (1993). Optimal reductions in interaction systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 668 LNCS, pp. 485–500). Springer Verlag. https://doi.org/10.1007/3-540-56610-4_84
Mendeley helps you to discover research relevant for your work.