The following pages link to Alex K. Simpson (Q685385):
Displaying 50 items.
- (Q386622) (redirect page) (← links)
- Relating first-order set theories, toposes and categories of classes (Q386623) (← links)
- Constructive toposes with countable sums as models of constructive set theory (Q448336) (← links)
- Measure, randomness and sublocales (Q450959) (← links)
- A characterization of the least-fixed-point operator by dinaturality (Q685386) (← links)
- Representing probability measures using probabilistic processes (Q864426) (← links)
- An equational notion of lifting monad (Q1398461) (← links)
- Axioms and (counter)examples in synthetic domain theory (Q1577485) (← links)
- Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS (Q1878715) (← links)
- Comparing Cartesian closed categories of (core) compactly generated spaces (Q1880712) (← links)
- Computational adequacy for recursive types in models of intuitionistic set theory (Q1886324) (← links)
- Darboux diagonalization of the spatial 3-metric in Kerr spacetime (Q2060441) (← links)
- Category-theoretic structure for independence and conditional independence (Q2130599) (← links)
- Behavioural equivalence via modalities for algebraic effects (Q2323978) (← links)
- Coalgebraic semantics for timed processes (Q2495646) (← links)
- Constant-\(r\) geodesics in the Painlevé-Gullstrand form of Lense-Thirring spacetime (Q2675160) (← links)
- Comprehensive Parametric Polymorphism: Categorical Models and Type Theory (Q2811329) (← links)
- (Q2852372) (← links)
- A Convenient Category of Domains (Q2864147) (← links)
- The enriched effect calculus: syntax and semantics (Q2937687) (← links)
- Cyclic Arithmetic Is Equivalent to Peano Arithmetic (Q2988374) (← links)
- (Q3024853) (← links)
- Sequent calculi for induction and infinite descent (Q3103982) (← links)
- Two constructive embedding‐extension theorems with applications to continuity principles and to Banach‐Mazur computability (Q3159421) (← links)
- Linear-use CPS translations in the Enriched Effect Calculus (Q3166223) (← links)
- Relational Parametricity for Computational Effects (Q3395102) (← links)
- Two preservation results for countable products of sequential spaces (Q3431548) (← links)
- A Logic for Parametric Polymorphism with Effects (Q3499756) (← links)
- Relating First-Order Set Theories and Elementary Toposes (Q3533518) (← links)
- Linearly-Used Continuations in the Enriched Effect Calculus (Q3557841) (← links)
- Enriching an Effect Calculus with Linear Types (Q3644752) (← links)
- (Q4218119) (← links)
- (Q4261092) (← links)
- (Q4263806) (← links)
- (Q4263868) (← links)
- A uniform approach to domain theory in realizability models (Q4366768) (← links)
- Topological and limit-space subcategories of countably-based equilogical spaces (Q4405693) (← links)
- (Q4499236) (← links)
- (Q4513590) (← links)
- Probability Sheaves and the Giry Monad (Q4580195) (← links)
- Łukasiewicz μ-calculus (Q4589613) (← links)
- (Q4737182) (← links)
- (Q4738238) (← links)
- (Q4896530) (← links)
- A Proof System for Compositional Verification of Probabilistic Concurrent Processes (Q4910418) (← links)
- (Q4992900) (← links)
- Charged black-bounce spacetimes (Q5029551) (← links)
- The convex powerdomain in a category of posets realized by cpos (Q5057469) (← links)
- Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular (Q5079754) (← links)
- The eye of the storm: a regular Kerr black hole (Q5099175) (← links)
