On properties of B-terms

MaRDI QIDQ5114826zbMATH OpenFDO

Authors Mirai Ikebuchi, Keisuke Nakano

Publication date 26 June 2020

Full work available at URL https://arxiv.org/abs/1901.11010, https://lmcs.episciences.org/6522

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Recommendations

• On repetitive right application of \(B\)-terms
• The combinator S
• Combinatory abstraction using \({\mathbf B}\), \({\mathbf B}^ \prime\) and friends
• scientific article; zbMATH DE number 4047682
• Enumeration of generalized BCI lambda-terms

Cites work

• Abstraction problems in combinatory logic: A compositive approach
• An improved Monte Carlo factorization algorithm
• scientific article; zbMATH DE number 1099195 (Why is no real title available?)
• scientific article; zbMATH DE number 3448564 (Why is no real title available?)
• scientific article; zbMATH DE number 2209676 (Why is no real title available?)
• On properties of \(B\)-terms
• The combinator S
• The lambda calculus. Its syntax and semantics. Rev. ed.
• The word problem for Smullyan's lark combinator is decidable
• THEORETICAL PEARLS

Cited in

(6)

• Some characterizations of a B-property
• On properties of \(B\)-terms
• On fields with Property (B)
• Disproving termination of non-erasing sole combinatory calculus with tree automata
• The internal operads of combinatory algebras
• Braids, twists, trace and duality in combinatory algebras

This page was built for publication: On properties of \(B\)-terms

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