Beta reduction constraints

DOI10.1007/3-540-45127-7_5MaRDI QIDQ2778869zbMATH OpenFDO

Authors Manuel Bodirsky, Katrin Erk, Alexander Koller, Joachim Niehren

Publication date 21 March 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2051/20510031

zbMATH Keywords

constraint language for lambda structures

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 1302672
• scientific article; zbMATH DE number 512801
• Bounded reductions
• Constraints, reduction, and quantization
• Direct reduction and differential constraints
• Beta reduction is invariant, indeed
• scientific article; zbMATH DE number 3913111
• Constraints on beta functions from duality
• Linear -reduction

Cited in

(1)

• The constraint language for lambda structures

This page was built for publication: Beta reduction constraints

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