scientific article; zbMATH DE number 3827196

MaRDI QIDQ3673098zbMATH OpenFDO

Authors John Staples

Publication date 1983

zbMATH Keywords

lambda calculusrewriting systemgraph grammaroptimal evaluation

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Combinatory logic and lambda calculus (03B40) Abstract data types; algebraic specification (68Q65)

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 Q3673098)