scientific article; zbMATH DE number 515728

MaRDI QIDQ4283230zbMATH OpenFDO

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

Publication date 1 July 1996

zbMATH Keywords

intuitionistic linear logicmultiplicative conjunctionmultiplicative exponential linear logic

Mathematics Subject Classification ID

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

Cited in

(25)

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

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)