scientific article; zbMATH DE number 4179372

MaRDI QIDQ3203017zbMATH OpenFDO

Authors Jean-Yves Girard

Publication date 1990

zbMATH Keywords

linear logicoperator algebra\(C^ *\)-algebrasaxiomatic theory of algorithms

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Logic in computer science (03B70) Selfadjoint operator algebras ((C^*)-algebras, von Neumann ((W^*)-) algebras, etc.) (46L99)

Recommendations

• Publication:4204146
• scientific article; zbMATH DE number 785046
• On the ``no deadlock criterion: from Herbrand's theorem to \textit{geometry of interaction}
• Towards a geometry of recursion
• New foundations for the geometry of interaction

Cited in

(26)

• Musings around the geometry of interaction, and coherence
• Towards a geometry of recursion
• Machine semantics
• scientific article; zbMATH DE number 4123722 (Why is no real title available?)
• Geometry of interaction. V: Logic in the hyperfinite factor
• A game-semantic model of computation
• Interaction graphs: additives
• lambda!-calculus, Intersection Types, and Involutions
• On the ``no deadlock criterion: from Herbrand's theorem to \textit{geometry of interaction}
• Bounded linear logic: A modular approach to polynomial-time computability
• Zeta functions and the (linear) logic of Markov processes
• 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)