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

type theoryintuitionistic linear logicaction calculimodel-embeddingPower's categorical modelspropositions-as-types paradigm

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

(8)

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

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)