scientific article; zbMATH DE number 1223613

MaRDI QIDQ4218924zbMATH OpenFDO

Authors Andrew Barber, Philippa Gardner, Masahito Hasegawa, Gordon D. Plotkin

Publication date 18 March 1999

zbMATH Keywords

action calculiintuitionistic linear logicmodel-embeddingPower's categorical modelspropositions-as-types paradigmtype theory

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Categorical logic, topoi (03G30)

Recommendations

• scientific article; zbMATH DE number 1231609
• scientific article; zbMATH DE number 1088052
• Calculi for interaction
• On the \(\pi\)-calculus and linear logic

Cited in

(10)

• Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
• A reduction of doxastic logic to action logic
• Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs
• scientific article; zbMATH DE number 1231609 (Why is no real title available?)
• scientific article; zbMATH DE number 1088052 (Why is no real title available?)
• scientific article; zbMATH DE number 1930740 (Why is no real title available?)
• scientific article; zbMATH DE number 7450001 (Why is no real title available?)
• Pseudo-distributive laws and axiomatics for variable binding
• A lemma in the logic of action
• The logic of message-passing

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