scientific article; zbMATH DE number 5038458

zbMATH Open1105.03064MaRDI QIDQ5477354FDOQ5477354

Authors: Jean-Yves Girard 

Publication date: 3 July 2006

Title of this publication is not available (Why is that?)

Recommendations

• Publication:4204146
• scientific article; zbMATH DE number 785046
• A geometric theory for derivative feedback
• scientific article; zbMATH DE number 4099289
• scientific article; zbMATH DE number 1095170
• New foundations for the geometry of interaction
• scientific article; zbMATH DE number 786500
• Geometric structure and feedback in singular systems
• scientific article; zbMATH DE number 996413
• scientific article; zbMATH DE number 1132846

zbMATH Keywords

normal formoperator algebracut-eliminationorder-continuityassociativitygeneral feedback equation

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Selfadjoint operator algebras ((C^*)-algebras, von Neumann ((W^*)-) algebras, etc.) (46L99)

Cited In (10)

• A game-semantic model of computation
• Geometry of interaction. V: Logic in the hyperfinite factor
• Interaction graphs: multiplicatives
• Interpreting a finitary pi-calculus in differential interaction nets
• Interaction graphs: additives
• Zeta functions and the (linear) logic of Markov processes
• Dynamic game semantics
• A correspondence between maximal abelian sub-algebras and linear logic fragments
• Interaction graphs: graphings
• Partially traced categories

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 Q5477354)