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

DOI10.1016/J.AMC.2006.04.055zbMATH Open1178.68137OpenAlexW1990949074MaRDI QIDQ861192FDOQ861192

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

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

zbMATH Keywords

dualityBoolean functionslambda-calculusPROLOGlambda-Boolean functions

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Correspondence between ALGOL 60 and Church's Lambda-notation
• The Mechanical Evaluation of Expressions
• Title not available (Why is that?)
• Title not available (Why is that?)
• A symbolic and algebraic computation based lambda-Boolean reduction machine via PROLOG
• An interpreter for slips—An applicative language based on LAMBDA-Calculus
• Title not available (Why is that?)
• Title not available (Why is that?)

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)