Classical Combinatory Logic

zbMath1193.03031arXiv0905.1100MaRDI QIDQ3576002

Karim Nour

Publication date: 28 July 2010

Full work available at URL: https://arxiv.org/abs/0905.1100

zbMATH Keywords

lambda-calculuscombinatory logicpropositional classical logic

Mathematics Subject Classification ID

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

This page was built for publication: Classical Combinatory Logic