scientific article

zbMath1205.03045MaRDI QIDQ3564946

Pierre-Louis Curien, Paul-André Melliès, Hugo Herbelin, Jean-Louis Krivine

Publication date: 27 May 2010

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

zbMATH Keywords

linear logicproof theoryrealizabilitycategorical modelsgame semanticsCurry-Howard correspondenceabstract machines

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Categorical semantics of formal languages (18C50) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)

Related Items (6)

Non-linearity as the Metric Completion of Linearity ⋮ Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language ⋮ Resource modalities in tensor logic ⋮ Ordered combinatory algebras and realizability ⋮ POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE ⋮ The parametric continuation monad

This page was built for publication: