scientific article; zbMATH DE number 7533330

DOI10.4230/LIPIcs.CSL.2018.5MaRDI QIDQ5079725

Aurore Alcolei, Pierre Clairambault, Glynn Winskel, J. M. E. Hyland

Publication date: 28 May 2022

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

zbMATH Keywords

true concurrencygame semanticsHerbrand's theorem

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (1)

Partial order games

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Classical proof forestry
• Weakly distributive categories
• A compact representation of proofs
• Untersuchungen über das logische Schliessen. I
• Full abstraction for PCF
• Extracting Herbrand disjunctions by functional interpretation
• Proof Nets for Herbrand’s Theorem
• The Winning Ways of Concurrent Games
• Game semantics for first-order logic
• The structure of first-order causality
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Asynchronous Games: Innocence Without Alternation
• HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION
• *-Autonomous categories and linear logic
• A new constructive logic: classic logic
• Adjointness in Foundations
• A new deconstructive logic: linear logic
• A semantics of evidence for classical arithmetic
• On the No-Counterexample Interpretation
• Expansion trees with cut
• Games and Strategies as Event Structures
• On categorical models of classical logic and the Geometry of Interaction

This page was built for publication: