scientific article; zbMATH DE number 3630695

zbMATH Open0406.03017MaRDI QIDQ4192036FDOQ4192036

Authors: John Staples 

Publication date: 1979

Title of this publication is not available (Why is that?)

zbMATH Keywords

Lambda CalculusGraph-Like ExpressionsLeftmost-Outermost ReductionNormal-Forms of Terms

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cited In (4)

• Optimal evaluations of graph-like expressions
• Computation on graph-like expressions
• Explicit cyclic substitutions
• Strong normalization of substitutions

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4192036)