Pages that link to "Item:Q5958294"

The following pages link to Two applications of analytic functors (Q5958294):

Displaying 22 items.

• Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
• The Scott model of linear logic is the extensional collapse of its relational model (Q418011) (← links)
• Minimal bad sequences are necessary for a uniform Kruskal theorem (Q2125990) (← links)
• Analytic functors between presheaf categories over groupoids (Q2253181) (← links)
• Containers: Constructing strictly positive types (Q2566024) (← links)
• Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results (Q2566073) (← links)
• A quantum double construction in Rel (Q2909732) (← links)
• Bialgebras in Rel (Q3178263) (← links)
• Data Types with Symmetries and Polynomial Functors over Groupoids (Q3178294) (← links)
• Some reasons for generalising domain theory (Q3559971) (← links)
• A Computation of the Maximal Order Type of the Term Ordering on Finite Multisets (Q3576087) (← links)
• Initial Algebra Semantics for Cyclic Sharing Structures (Q3637190) (← links)
• Mackey-complete spaces and power series – a topological model of differential linear logic (Q4606699) (← links)
• Extending set functors to generalised metric spaces (Q4625693) (← links)
• From Kruskal’s theorem to Friedman’s gap condition (Q4988429) (← links)
• (Q5028454) (← links)
• Containers, monads and induction recursion (Q5741557) (← links)
• A Quillen Adjunction Between Algebras and Operads, Koszul Duality, and the Lagrange Inversion Formula (Q5855159) (← links)
• Differential 2-rigs (Q6150153) (← links)
• Stabilized profunctors and stable species of structures (Q6563041) (← links)
• A Cartesian bicategory of polynomial functors in homotopy type theory (Q6653748) (← links)
• Automata and coalgebras in categories of species (Q6666774) (← links)