scientific article; zbMATH DE number 1223613

zbMATH Open0908.03031MaRDI QIDQ4218924FDOQ4218924

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

Publication date: 18 March 1999

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

Recommendations

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

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)

Cited In (8)

• Pseudo-distributive laws and axiomatics for variable binding
• A reduction of doxastic logic to action logic
• Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• A lemma in the logic of action
• The logic of message-passing
• Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs

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)