Geometry of Interaction
Samson Abramsky
Temperley-Lieb Algebras: from Cut-Elimination to Knot Theory via Quantum Mechanics. (
abstract
)
Patrick Baillot
A new look at the geometry of interaction for Elementary linear logic (
abstract
)
Richard Blute
Deep Inference and Probabilistic Coherence Spaces (
abstract
)
Robin Cockett
Differential Categories (
abstract
)
Thomas Ehrhard
Two ways of adding promotion to differential nets (
abstract
)
Claudia Faggian
L-nets, parallel strategies and proof-nets (
abstract
)
Jean-Yves Girard
Geometry of interaction in finite von Neumann algebras (
abstract
)
Jean Goubault-Larrecq
Musings Around the Geometry of Interaction and Coherence (
abstract
)
Esfan Haghverdi
Towards a Typed Geometry of Interaction (
abstract
)
Masahiro Hamano
On Faithfulness of Categorical Semantics for Polarized MALL (
abstract
)
Peter Hines
Compact closed monoids-their structure and interpretations (
abstract
)
Robin Houston
Modelling linear logic without units (
abstract
)
Martin Hyland
Abstract interpretation and construction of models (
abstract
)
Olivier Laurent
Some parallelism and synchronisation in GoI: additives and polarization (
abstract
)
Harry Mairson
Proofnets and Paths in Constructive Classical Logic: Too Old, Too New (
abstract
)
Laurent Regnier
Games and Geometry of Interaction tutorial
Phil Scott
Categories and Geometry of Interaction tutorial
Peter Selinger
Dagger idempotents (
abstract
)
Sergey Slavnov
GoI and Hamiltonian Dynamics (
abstract
)
Rob Van Glabbeek
Proof nets for multiplicative-additive linear logic (
abstract
)