A functional computation model for the duality of two-variable lambda-Boolean functions

DOI10.1016/J.AMC.2006.04.055MaRDI QIDQ861192zbMATHOpenAlexFDO

Authors Tolga Güyer, Şeref Mirasyedioğlu

Publication date 9 January 2007

Published in Applied Mathematics and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.amc.2006.04.055

zbMATH Keywords

dualityBoolean functionslambda-calculusPROLOGlambda-Boolean functions

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Recommendations

• A symbolic and algebraic computation based lambda-Boolean reduction machine via PROLOG
• scientific article; zbMATH DE number 4070860
• scientific article; zbMATH DE number 4099256
• scientific article; zbMATH DE number 4098710
• scientific article; zbMATH DE number 953683

Cites work

• scientific article; zbMATH DE number 4070860 (Why is no real title available?)
• scientific article; zbMATH DE number 4099256 (Why is no real title available?)
• scientific article; zbMATH DE number 3755826 (Why is no real title available?)
• scientific article; zbMATH DE number 3993540 (Why is no real title available?)
• scientific article; zbMATH DE number 3322510 (Why is no real title available?)
• A symbolic and algebraic computation based lambda-Boolean reduction machine via PROLOG
• An interpreter for slips—An applicative language based on LAMBDA-Calculus
• Correspondence between ALGOL 60 and Church's Lambda-notation
• The Mechanical Evaluation of Expressions

Describes a project that uses

Uses Software

• ALGOL 60

This page was built for publication: A functional computation model for the duality of two-variable lambda-Boolean functions

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