A basis result in combinatory logic

DOI10.2307/2274616zbMATH Open0671.03008OpenAlexW4244324591MaRDI QIDQ3824390

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

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• The propositional logic induced by means of basic algebras 👍 👎
• A foray into combinatory logic 👍 👎
• Combinator logics 👍 👎
• 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)