Person:685385

Available identifiers

zbMath Open simpson.alex-kMaRDI QIDQ685385

List of research outcomes

Publication	Date of Publication	Type
The convex powerdomain in a category of posets realized by cpos	2022-12-16	Paper
Constant-\(r\) geodesics in the Painlevé-Gullstrand form of Lense-Thirring spacetime	2022-09-20	Paper
The eye of the storm: a regular Kerr black hole	2022-08-31	Paper
Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular	2022-05-28	Paper
Category-theoretic structure for independence and conditional independence	2022-04-25	Paper
Black-bounce to traversable wormhole	2022-03-04	Paper
Charged black-bounce spacetimes	2022-02-14	Paper
Darboux diagonalization of the spatial 3-metric in Kerr spacetime	2021-12-13	Paper
Unit-lapse versions of the Kerr spacetime	2021-11-02	Paper
Vaidya spacetimes, black-bounces, and traversable wormholes	2021-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q4992900	2021-06-10	Paper
Behavioural equivalence via modalities for algebraic effects	2019-09-13	Paper
Probability Sheaves and the Giry Monad	2018-08-13	Paper
Łukasiewicz μ-calculus	2017-11-10	Paper
Cyclic Arithmetic Is Equivalent to Peano Arithmetic	2017-05-19	Paper
Comprehensive Parametric Polymorphism: Categorical Models and Type Theory	2016-06-10	Paper
Relational Parametricity for Control Considered as a Computational Effect	2015-07-10	Paper
The enriched effect calculus: syntax and semantics	2015-01-12	Paper
Abstract Datatypes for Real Numbers in Type Theory	2014-07-24	Paper
Relating first-order set theories, toposes and categories of classes	2013-12-10	Paper
A Convenient Category of Domains	2013-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q2852372	2013-10-08	Paper
A Proof System for Compositional Verification of Probabilistic Concurrent Processes	2013-03-18	Paper
Linear-use CPS translations in the Enriched Effect Calculus	2012-10-22	Paper
Measure, randomness and sublocales	2012-09-26	Paper
Constructive toposes with countable sums as models of constructive set theory	2012-09-06	Paper
Sequent calculi for induction and infinite descent	2011-12-19	Paper
Linearly-Used Continuations in the Enriched Effect Calculus	2010-04-27	Paper
Enriching an Effect Calculus with Linear Types	2009-11-12	Paper
Relational Parametricity for Computational Effects	2009-08-20	Paper
Relating First-Order Set Theories and Elementary Toposes	2008-10-23	Paper
A Logic for Parametric Polymorphism with Effects	2008-06-03	Paper
Two preservation results for countable products of sequential spaces	2007-04-12	Paper
Representing probability measures using probabilistic processes	2007-02-08	Paper
Compactly generated domain theory	2006-08-10	Paper
Coalgebraic semantics for timed processes	2006-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q5718562	2006-01-16	Paper
Term Rewriting and Applications	2005-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q3024853	2005-07-04	Paper
Two constructive embedding‐extension theorems with applications to continuity principles and to Banach‐Mazur computability	2005-02-16	Paper
Computational adequacy for recursive types in models of intuitionistic set theory	2004-11-18	Paper
Comparing Cartesian closed categories of (core) compactly generated spaces	2004-10-01	Paper
Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS	2004-09-08	Paper
https://portal.mardi4nfdi.de/entity/Q4737182	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4738238	2004-08-11	Paper
Topological and limit-space subcategories of countably-based equilogical spaces	2004-02-24	Paper
An equational notion of lifting monad	2003-07-29	Paper
Axioms and (counter)examples in synthetic domain theory	2001-05-16	Paper
https://portal.mardi4nfdi.de/entity/Q4499236	2001-03-04	Paper
https://portal.mardi4nfdi.de/entity/Q4513590	2001-02-28	Paper
A uniform approach to domain theory in realizability models	2000-04-06	Paper
https://portal.mardi4nfdi.de/entity/Q4263806	2000-03-29	Paper
https://portal.mardi4nfdi.de/entity/Q4263868	1999-11-21	Paper
https://portal.mardi4nfdi.de/entity/Q4261092	1999-09-21	Paper
https://portal.mardi4nfdi.de/entity/Q4218119	1999-06-10	Paper
https://portal.mardi4nfdi.de/entity/Q4896530	1996-10-20	Paper
A characterization of the least-fixed-point operator by dinaturality	1993-10-17	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alex K. Simpson