A basis result in combinatory logic

DOI10.2307/2274616MaRDI QIDQ3824390zbMATH OpenOpenAlexFDO

Authors Remi Legrand

Publication date 1988

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2274616

zbMATH Keywords

basiscombinatory logichead reductions

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• scientific article; zbMATH DE number 4121963
• scientific article; zbMATH DE number 993359
• A foray into combinatory logic
• Combinator logics
• scientific article; zbMATH DE number 3916223
• Publication:4206708
• scientific article; zbMATH DE number 5145992
• The propositional logic induced by means of basic algebras
• Bounded combinatory logic

This page was built for publication: A basis result in combinatory logic

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