Pages that link to "Item:Q1327394"

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

Displaying 37 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)
• (Q2778827) (← links)
• Memoryful geometry of interaction. II: Recursion and adequacy (Q2828318) (← links)
• Physical traces: quantum vs. classical information processing (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)
• (Q4852534) (← 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)
• Automata, Languages and Programming (Q5466507) (← links)
• (Q5477354) (← links)
• An Explicit Framework for Interaction Nets (Q5902126) (← links)
• (Q6168444) (← links)
• Specification structures and propositions-as-types for concurrency (Q6560388) (← links)
• The game semantics of game theory (Q6612787) (← links)
• Lambek-Grishin calculus: focusing, display and full polarization (Q6612800) (← links)
• Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers (Q6612803) (← links)
• (Towards a) statistical probabilistic lazy lambda calculus (Q6612804) (← links)