scientific article; zbMATH DE number 4127172

MaRDI QIDQ4206708zbMATH OpenFDO

Authors Mariangiola Dezani-Ciancaglini, Corrado Böhm

Publication date 1989

zbMATH Keywords

combinatory logicinvertible combinatorsmonoid skeletons

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• On combinatory complete sets of proper combinators
• Towards a notion of lambda monoid
• scientific article; zbMATH DE number 1086683
• Combinators and structurally free logic
• Combinatory abstraction using \({\mathbf B}\), \({\mathbf B}^ \prime\) and friends

Cited in

(7)

• A foray into combinatory logic
• Logics for classes of Boolean monoids
• A basis result in combinatory logic
• The combinator M and the Mockingbird lattice
• Mockingbird lattices
• Logical equations in monadic logic
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca

This page was built for publication:

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