Recommendations
Cites work
- scientific article; zbMATH DE number 4018370 (Why is no real title available?)
- scientific article; zbMATH DE number 5851813 (Why is no real title available?)
- scientific article; zbMATH DE number 4103051 (Why is no real title available?)
- scientific article; zbMATH DE number 1324438 (Why is no real title available?)
- scientific article; zbMATH DE number 1479631 (Why is no real title available?)
- scientific article; zbMATH DE number 3248792 (Why is no real title available?)
- *-Autonomous categories and linear logic
- A compact representation of proofs
- A new constructive logic: classic logic
- A new deconstructive logic: linear logic
- A semantics of evidence for classical arithmetic
- Adjointness in Foundations
- Asynchronous Games: Innocence Without Alternation
- Classical proof forestry
- Expansion trees with cut
- Extracting Herbrand disjunctions by functional interpretation
- Full abstraction for PCF
- Game semantics for first-order logic
- Games and strategies as event structures
- HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION
- Linear logic
- On categorical models of classical logic and the Geometry of Interaction
- On the No-Counterexample Interpretation
- Proof nets for Herbrand's theorem
- The structure of first-order causality
- The winning ways of concurrent games
- Untersuchungen über das logische Schliessen. I
- Weakly distributive categories
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
Cited in
(6)
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)
