scientific article; zbMATH DE number 851066

MaRDI QIDQ4867684zbMATH OpenFDO

Authors Shaokui Mo

Publication date 27 August 1996

zbMATH Keywords

operatorshigher-order functionalscomprehension proceduretype-free complete logic calculus

Mathematics Subject Classification ID

Recommendations

• Combinatory logic. Pure, applied and typed
• scientific article; zbMATH DE number 3878896
• Combinators and structurally free logic
• Logical relations and the typed λ-calculus
• scientific article; zbMATH DE number 65532
• scientific article; zbMATH DE number 2209828
• scientific article; zbMATH DE number 823591
• Algebraic and Logical Operations on Operators One Application to Semantic Computation
• Compatibility operators in abstract algebraic logic
• scientific article; zbMATH DE number 3928982

Cited in

(5)

• scientific article; zbMATH DE number 3871313 (Why is no real title available?)
• Logic operators and quantifiers in type-theory of algorithms
• Algebraic and Logical Operations on Operators One Application to Semantic Computation
• scientific article; zbMATH DE number 3557750 (Why is no real title available?)
• Separating functional computation from relations

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 Q4867684)