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

DOI10.1016/j.amc.2006.04.055zbMath1178.68137OpenAlexW1990949074MaRDI QIDQ861192

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 functionsPROLOGlambda-calculuslambda-Boolean functions

Mathematics Subject Classification ID

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

Uses Software

• ALGOL 60

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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