scientific article; zbMATH DE number 515728

zbMath0840.03003MaRDI QIDQ4283230

J. M. E. Hyland, G. M. Bierman, Nick Benton, V. C. V. de Paiva

Publication date: 1 July 1996

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

zbMATH Keywords

intuitionistic linear logicmultiplicative conjunctionmultiplicative exponential linear logic

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)

Related Items (19)

Natural deduction for intuitionistic linear logic ⋮ Prime algebraicity ⋮ Experiments in linear natural deduction ⋮ When programs have to watch paint dry ⋮ Glueing and orthogonality for models of linear logic ⋮ Hypernormalisation in an abstract setting ⋮ Three faces of natural deduction ⋮ Linearity, Control Effects, and Behavioral Types ⋮ Domain theory for concurrency ⋮ Synthetic domain theory and models of linear Abadi {\&} Plotkin logic ⋮ Relating State-Based and Process-Based Concurrency through Linear Logic ⋮ Proof theory in the abstract ⋮ Relating state-based and process-based concurrency through linear logic (full-version) ⋮ Nominal Domain Theory for Concurrency ⋮ Possible worlds and resources: The semantics of \(\mathbf{BI}\) ⋮ Unnamed Item ⋮ Proof-search in type-theoretic languages: An introduction ⋮ Multiplicative Linear Logics and Fibrations ⋮ Comonadic Notions of Computation

This page was built for publication: