Pages that link to "Item:Q1327394"

The following pages link to New foundations for the geometry of interaction (Q1327394):

Displaying 26 items.

• Towards a geometry of recursion (Q534710) (← links)
• Linear realizability and full completeness for typed lambda-calculi (Q556821) (← links)
• A categorical model for the geometry of interaction (Q817846) (← links)
• Interaction graphs: additives (Q892169) (← links)
• Machine semantics (Q959818) (← links)
• Proofs as processes (Q1342245) (← links)
• On the \(\pi\)-calculus and linear logic (Q1342247) (← links)
• Feedback for linearly distributive categories: Traces and fixpoints (Q1588062) (← links)
• A specification structure for deadlock-freedom of synchronous processes (Q1960536) (← links)
• From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference (Q2341698) (← links)
• A structural approach to reversible computation (Q2581367) (← links)
• Physical Traces (Q2842812) (← links)
• Event Domains, Stable Functions and Proof-Nets (Q2864146) (← links)
• Conformal Field Theory as a Nuclear Functor (Q2864148) (← links)
• Handshake Games (Q2864210) (← links)
• Aristotle on Universal Quantification: A Study from the Point of View of Game Semantics (Q2963961) (← links)
• Attribute Grammars and Categorical Semantics (Q3519507) (← links)
• Towards a typed Geometry of Interaction (Q3564345) (← links)
• On traced monoidal closed categories (Q3625674) (← links)
• Symmetry and Interactivity in Programming (Q4650295) (← links)
• Towards Hilbert's 24th Problem: Combinatorial Proof Invariants (Q4917988) (← links)
• (Q5020625) (← links)
• Causality and true concurrency: A data-flow analysis of the Pi-Calculus (Q5096391) (← links)
• Logic and Geometry of Agents in Agent-Based Modeling (Q5150306) (← links)
• Proofs as Polynomials (Q5415631) (← links)
• An Explicit Framework for Interaction Nets (Q5902126) (← links)