Pages that link to "Item:Q4792973"

The following pages link to Geometry of Interaction and linear combinatory algebras (Q4792973):

Displaying 38 items.

• Computation by interaction for space-bounded functional programming (Q276265) (← links)
• Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
• Coherence and strictification for self-similarity (Q504539) (← links)
• Join inverse categories and reversible recursion (Q511931) (← links)
• Towards a geometry of recursion (Q534710) (← links)
• Linear realizability and full completeness for typed lambda-calculi (Q556821) (← links)
• Interaction graphs: multiplicatives (Q714715) (← links)
• A categorical model for the geometry of interaction (Q817846) (← links)
• Interaction graphs: additives (Q892169) (← links)
• A type assignment system for game semantics (Q930873) (← links)
• Machine semantics (Q959818) (← links)
• Quantum circuit oracles for abstract machine computations (Q960862) (← links)
• A game semantics for generic polymorphism (Q1772770) (← links)
• Partial traces on additive categories (Q2134829) (← links)
• A structural approach to reversible computation (Q2581367) (← links)
• Join Inverse Categories as Models of Reversible Recursion (Q2811333) (← links)
• Physical Traces (Q2842812) (← links)
• Conformal Field Theory as a Nuclear Functor (Q2864148) (← links)
• A quantum double construction in Rel (Q2909732) (← links)
• Coherence Spaces and Uniform Continuity (Q2988356) (← links)
• Can a Quantum Computer Run the von Neumann Architecture? (Q3000932) (← links)
• Traces for coalgebraic components (Q3005989) (← links)
• Bialgebras in Rel (Q3178263) (← links)
• A Representation Theorem for Unique Decomposition Categories (Q3178284) (← links)
• Attribute Grammars and Categorical Semantics (Q3519507) (← links)
• Towards a typed Geometry of Interaction (Q3564345) (← links)
• On traced monoidal closed categories (Q3625674) (← links)
• A correspondence between maximal abelian sub-algebras and linear logic fragments (Q4599613) (← links)
• (Q5018485) (← links)
• AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS (Q5044310) (← links)
• The geometry of Bayesian programming (Q5076392) (← links)
• lambda!-calculus, Intersection Types, and Involutions (Q5089015) (← links)
• A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4 (Q5089022) (← links)
• Classical Structures Based on Unitaries (Q5414965) (← links)
• Proofs as Polynomials (Q5415631) (← links)
• On categorical models of classical logic and the Geometry of Interaction (Q5430139) (← links)
• Representation of partial traces (Q5971391) (← links)
• Promonads and String Diagrams for Effectful Categories (Q6150166) (← links)