scientific article; zbMATH DE number 851066

zbMATH Open0844.03002MaRDI QIDQ4867684

Shaokui Mo

Publication date: 27 August 1996

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

zbMATH Keywords

operatorshigher-order functionalscomprehension proceduretype-free complete logic calculus

Mathematics Subject Classification ID

Recommendations

• COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC 👍 👎
• Logical relations and the typed λ-calculus 👍 👎
• Combinators and structurally free logic 👍 👎
• Algebraic and Logical Operations on Operators One Application to Semantic Computation 👍 👎
• 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?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)