scientific article; zbMATH DE number 7533330

DOI10.4230/LIPICS.CSL.2018.5MaRDI QIDQ5079725FDOQ5079725

Aurore Alcolei, Pierre Clairambault, Glynn Winskel, Martin Hyland

Publication date: 28 May 2022

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

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:

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