scientific article; zbMATH DE number 515728

zbMATH Open0840.03003MaRDI QIDQ4283230FDOQ4283230

Authors: Nick Benton, Gavin M. Bierman, Martin Hyland, Valeria de Paiva 

Publication date: 1 July 1996

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

zbMATH Keywords

intuitionistic linear logicmultiplicative conjunctionmultiplicative exponential linear logic

Mathematics Subject Classification ID

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

Cited In (21)

• Synthetic domain theory and models of linear Abadi {\&} Plotkin logic
• Experiments in linear natural deduction
• Three faces of natural deduction
• When programs have to watch paint dry
• Nominal Domain Theory for Concurrency
• Natural deduction for intuitionistic linear logic
• Comonadic notions of computation
• Prime algebraicity
• A categorical reduction system for linear logic
• Glueing and orthogonality for models of linear logic
• Domain theory for concurrency
• Proof theory in the abstract
• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• Linearity, control effects, and behavioral types
• Hypernormalisation in an abstract setting
• Multiplicative linear logics and fibrations
• Relating state-based and process-based concurrency through linear logic (full-version)
• Deriving distributive laws for graded linear types
• Categorical models of the differential λ-calculus
• Relating state-based and process-based concurrency through linear logic
• Proof-search in type-theoretic languages: An introduction

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