scientific article; zbMATH DE number 1223613

zbMath0908.03031MaRDI QIDQ4218924

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

Publication date: 18 March 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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)

Related Items (5)

Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs ⋮ Pseudo-distributive laws and axiomatics for variable binding ⋮ Unnamed Item ⋮ The logic of message-passing ⋮ Comparing logics for rewriting: Rewriting logic, action calculi and tile logic

This page was built for publication: