scientific article; zbMATH DE number 5207780

zbMath1131.03033MaRDI QIDQ5423981

François Lamarche

Publication date: 1 November 2007

Full work available at URL: https://eudml.org/doc/128426

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

zbMATH Keywords

linear logicdenotational semanticsclassical logic\(*\)-autonomous categoriesdeep inferencemedial rule

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (7)

Intermutation ⋮ On linear rewriting systems for Boolean logic and some applications to proof theory ⋮ Deep inference and probabilistic coherence spaces ⋮ Understanding the small object argument ⋮ Understanding the small object argument ⋮ Extension without cut ⋮ The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem

Uses Software

• HOPLA

This page was built for publication: