scientific article; zbMATH DE number 851066

zbMATH Open0844.03002MaRDI QIDQ4867684FDOQ4867684

Authors: Shaokui Mo 

Publication date: 27 August 1996

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

operatorshigher-order functionalscomprehension proceduretype-free complete logic calculus

Mathematics Subject Classification ID

Cited In (5)

• Logic operators and quantifiers in type-theory of algorithms
• Title not available (Why is that?)
• Algebraic and Logical Operations on Operators One Application to Semantic Computation
• Title not available (Why is that?)
• 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)