Toward a reduction system commuting with beta reduction in the partial lambda calculus

DOI10.1109/ITI.2001.938046MaRDI QIDQ2768241zbMATH OpenFDO

Authors S. Gaborovič

Publication date 30 January 2002

Published in Proceedings of the 23rd International Conference on Information Technology Interfaces, 2001. ITI 2001. (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/ITI.2001.938046

zbMATH Keywords

partial lambda calculusreduction system

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 32501
• Parallel reductions in \(\lambda\)-calculus
• Refining reduction in the lambda calculus
• Parallel reductions in \(\lambda\)-calculus
• Decidability of the restriction equational theory in the partial lambda calculus

Cited in

(1)

• scientific article; zbMATH DE number 32501 (Why is no real title available?)

This page was built for publication: Toward a reduction system commuting with beta reduction in the partial lambda calculus

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