The following pages link to (Q4204146):
Displaying 50 items.
- Logarithmic space and permutations (Q276248) (← links)
- Computation by interaction for space-bounded functional programming (Q276265) (← links)
- Interaction graphs: graphings (Q345705) (← links)
- Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
- Preface to the special volume (Q534064) (← links)
- Geometry of interaction. V: Logic in the hyperfinite factor (Q534694) (← links)
- Towards a geometry of recursion (Q534710) (← links)
- Interaction graphs: multiplicatives (Q714715) (← links)
- A categorical model for the geometry of interaction (Q817846) (← links)
- Interaction graphs: additives (Q892169) (← links)
- Parametric \(\lambda \)-theories (Q930867) (← links)
- Machine semantics (Q959818) (← links)
- Quantum circuit oracles for abstract machine computations (Q960862) (← links)
- Bounded linear logic: A modular approach to polynomial-time computability (Q1193854) (← links)
- Linearizing intuitionistic implication (Q1210141) (← links)
- On the \(\pi\)-calculus and linear logic (Q1342247) (← links)
- Feedback for linearly distributive categories: Traces and fixpoints (Q1588062) (← links)
- A short note on coherence and self-similarity (Q1850099) (← links)
- Games and full abstraction for FPC. (Q1854351) (← links)
- Full abstraction for PCF (Q1854394) (← links)
- Petri nets, Horn programs, linear logic and vector games (Q1899147) (← links)
- Partially traced categories (Q1940191) (← links)
- Partial traces on additive categories (Q2134829) (← links)
- A game-semantic model of computation (Q2319854) (← links)
- A structural approach to reversible computation (Q2581367) (← links)
- Event Domains, Stable Functions and Proof-Nets (Q2864146) (← links)
- Conformal Field Theory as a Nuclear Functor (Q2864148) (← links)
- Handshake Games (Q2864210) (← links)
- Bialgebras in Rel (Q3178263) (← links)
- A Representation Theorem for Unique Decomposition Categories (Q3178284) (← links)
- Verificationism and Classical Realizability (Q3305313) (← links)
- Parsimonious Types and Non-uniform Computation (Q3449488) (← links)
- Attribute Grammars and Categorical Semantics (Q3519507) (← links)
- (Q4222826) (← links)
- Codensity Lifting of Monads and its Dual (Q4553284) (← links)
- (Q4580325) (← links)
- A correspondence between maximal abelian sub-algebras and linear logic fragments (Q4599613) (← links)
- On geometry of interaction for polarized linear logic (Q4961719) (← links)
- (Q4972738) (← links)
- A <tt>MALL</tt> geometry of interaction based on indexed linear logic (Q5006458) (← links)
- (Q5015214) (← links)
- (Q5015215) (← links)
- δο!∈=1 Optimizing optimal λ-calculus implementations (Q5055822) (← links)
- The geometry of Bayesian programming (Q5076392) (← links)
- (Q5092325) (← links)
- (Q5092412) (← links)
- Causality and true concurrency: A data-flow analysis of the Pi-Calculus (Q5096391) (← links)
- Abstract machines, optimal reduction, and streams (Q5108536) (← links)
- Is the Optimal Implementation Inefficient? Elementarily Not (Q5111313) (← links)
- Logic and Geometry of Agents in Agent-Based Modeling (Q5150306) (← links)
