scientific article; zbMATH DE number 4179372
From MaRDI portal
Publication:3203017
zbMATH Open0716.03047MaRDI QIDQ3203017FDOQ3203017
Authors: Jean-Yves Girard 
Publication date: 1990
Title of this publication is not available (Why is that?)
Recommendations
Cut-elimination and normal-form theorems (03F05) Logic in computer science (03B70) Selfadjoint operator algebras ((C^*)-algebras, von Neumann ((W^*)-) algebras, etc.) (46L99)
Cited In (26)
- Musings around the geometry of interaction, and coherence
- Machine semantics
- Towards a geometry of recursion
- Title not available (Why is that?)
- A game-semantic model of computation
- Geometry of interaction. V: Logic in the hyperfinite factor
- Interaction graphs: additives
- lambda!-calculus, Intersection Types, and Involutions
- On the ``no deadlock criterion: from Herbrand's theorem to \textit{geometry of interaction}
- Zeta functions and the (linear) logic of Markov processes
- Bounded linear logic: A modular approach to polynomial-time computability
- Full abstraction for PCF
- Petri nets, Horn programs, linear logic and vector games
- On strictifying extensional reflexivity in compact closed categories
- Dynamic game semantics
- A correspondence between maximal abelian sub-algebras and linear logic fragments
- On the \(\pi\)-calculus and linear logic
- A structural approach to reversible computation
- Interaction graphs: graphings
- Abstract machines, optimal reduction, and streams
- δο!∈=1 Optimizing optimal λ-calculus implementations
- Proofs as Polynomials
- Asymptotic cyclic expansion and bridge groups of formal proofs
- The geometry of semaphore programs
- On paradoxes in normal form
- A categorical model for the geometry of interaction
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 Q3203017)
