scientific article; zbMATH DE number 1497856

zbMATH Open0967.68032MaRDI QIDQ4499286FDOQ4499286

Authors: Ken-etsu Fujita 

Publication date: 5 March 2001

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

Recommendations

• A Local System for Classical Logic
• A proof theoretical approach to communication
• On multiple conclusion deductions in classical logic
• scientific article; zbMATH DE number 1678362
• Classical linear logic of implications

zbMATH Keywords

communication calculusmultiple-conclusion system

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cited In (1)

• An interpretation of \(\lambda \mu\)-calculus in \(\lambda\)-calculus.

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