The true concurrency of Herbrand's theorem

DOI10.4230/LIPICS.CSL.2018.5MaRDI QIDQ5079725FDOQ5079725

Authors: Aurore Alcolei, Pierre Clairambault, Martin Hyland, Glynn Winskel 

Publication date: 28 May 2022

Recommendations

• Publication:4942001
• scientific article
• Proof nets for Herbrand's theorem
• Herbrand-confluence
• On Herbrand's theorem

zbMATH Keywords

game semanticsHerbrand's theoremtrue concurrency

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Untersuchungen über das logische Schliessen. I
• Title not available (Why is that?)
• Full abstraction for PCF
• The winning ways of concurrent games
• Title not available (Why is that?)
• Title not available (Why is that?)
• Asynchronous Games: Innocence Without Alternation
• Title not available (Why is that?)
• A semantics of evidence for classical arithmetic
• Linear logic
• Weakly distributive categories
• A compact representation of proofs
• Game semantics for first-order logic
• Title not available (Why is that?)
• A new constructive logic: classic logic
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION
• Adjointness in Foundations
• On the No-Counterexample Interpretation
• On categorical models of classical logic and the Geometry of Interaction
• *-Autonomous categories and linear logic
• A new deconstructive logic: linear logic
• Extracting Herbrand disjunctions by functional interpretation
• Proof nets for Herbrand's theorem
• Classical proof forestry
• Expansion trees with cut
• Title not available (Why is that?)
• Games and strategies as event structures
• The structure of first-order causality

Cited In (3)

• A hyperbolic concurrency theorem
• A tale of additives and concurrency in game semantics
• Partial order games

This page was built for publication: The true concurrency of Herbrand's theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5079725)