Alex Simpson

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 12

Top Topics

Structure And Parameter Learning

Axiomatic Characterization

Conditional Independence

Top Venues

Fundam. Informaticae

Publications

Alex Simpson
Equivalence and Conditional Independence in Atomic Sheaf Logic. CoRR (2024)
Alex Simpson
Equivalence and Conditional Independence in Atomic Sheaf Logic. LICS (2024)
Alex Simpson, Niels F. W. Voorneveld
Behavioural Equivalence via Modalities for Algebraic Effects. ACM Trans. Program. Lang. Syst. 42 (1) (2020)
Alex Simpson, Niels F. W. Voorneveld
Behavioural Equivalence via Modalities for Algebraic Effects. CoRR (2019)
Laura McDonald, Alex Simpson, Sophie Graham, Anna Schultze, Beth Nordstrom, Piyush Durani, Faisal Mehmud, Sreeram V. Ramagopalan
Google searches do not correlate with melanoma incidence in majority English speaking countries. npj Digit. Medicine 1 (2018)
Aliaume Lopez, Alex Simpson
Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular. CSL (2018)
Alex Simpson
Category-theoretic Structure for Independence and Conditional Independence. MFPS (2018)
Alex Simpson, Niels F. W. Voorneveld
Behavioural Equivalence via Modalities for Algebraic Effects. ESOP (2018)
Alex Simpson
Cyclic Arithmetic Is Equivalent to Peano Arithmetic. FoSSaCS (2017)
Alex Simpson
Probability Sheaves and the Giry Monad. CALCO (2017)
Matteo Mio, Alex Simpson
Łukasiewicz μ-calculus. Fundam. Informaticae 150 (3-4) (2017)
Neil Ghani, Fredrik Nordvall Forsberg, Alex Simpson
Comprehensive Parametric Polymorphism: Categorical Models and Type Theory. FoSSaCS (2016)
Steven Awodey, Carsten Butz, Alex Simpson, Thomas Streicher
Relating first-order set theories, toposes and categories of classes. Ann. Pure Appl. Log. 165 (2) (2014)
Martín Hötzel Escardó, Alex Simpson
Abstract Datatypes for Real Numbers in Type Theory. RTA-TLCA (2014)
Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson
The enriched effect calculus: syntax and semantics. J. Log. Comput. 24 (3) (2014)
Matteo Mio, Alex Simpson
Łukasiewicz mu-Calculus. FICS (2013)
Matteo Mio, Alex Simpson
A Proof System for Compositional Verification of Probabilistic Concurrent Processes. FoSSaCS (2013)
Alex Simpson
Conditional Independence in Categories. TACL (2013)
Alex Simpson
Measure, randomness and sublocales. Ann. Pure Appl. Log. 163 (11) (2012)
Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson
Linear-use CPS translations in the Enriched Effect Calculus Log. Methods Comput. Sci. 8 (4) (2012)
James Brotherston, Alex Simpson
Sequent calculi for induction and infinite descent. J. Log. Comput. 21 (6) (2011)
Patricia Johann, Alex Simpson, Janis Voigtländer
A Generic Operational Metatheory for Algebraic Effects. LICS (2010)
Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson
Linearly-Used Continuations in the Enriched Effect Calculus. FoSSaCS (2010)
Alex Simpson
Linear types for computational effects. POPL (2009)
Rasmus Ejlers Møgelberg, Alex Simpson
Relational Parametricity for Computational Effects Log. Methods Comput. Sci. 5 (3) (2009)
Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson
Enriching an Effect Calculus with Linear Types. CSL (2009)
Rasmus Ejlers Møgelberg, Alex Simpson
A Logic for Parametric Polymorphism with Effects. TYPES (2007)
Ingo Battenfeld, Matthias Schröder, Alex Simpson
A Convenient Category of Domains. Electron. Notes Theor. Comput. Sci. 172 (2007)
James Brotherston, Alex Simpson
Complete Sequent Calculi for Induction and Infinite Descent. LICS (2007)
Rasmus Ejlers Møgelberg, Alex Simpson
Relational Parametricity for Computational Effects. LICS (2007)
Matthias Schröder, Alex Simpson
Two preservation results for countable products of sequential spaces. Math. Struct. Comput. Sci. 17 (1) (2007)
Alex Simpson
Programming Languages and Operational Semantics by Fernández Maribel, King's College Publications, 2004, ISBN 0954300637. J. Funct. Program. 17 (3) (2007)
Rasmus Ejlers Møgelberg, Alex Simpson
Relational Parametricity for Control Considered as a Computational Effect. MFPS (2007)
Steven Awodey, Carsten Butz, Alex Simpson, Thomas Streicher
Relating First-order Set Theories and Elementary Toposes. Bull. Symb. Log. 13 (3) (2007)
Matthias Schröder, Alex Simpson
Representing probability measures using probabilistic processes. J. Complex. 22 (6) (2006)
Marco Kick, John Power, Alex Simpson
Coalgebraic semantics for timed processes. Inf. Comput. 204 (4) (2006)
Ingo Battenfeld, Matthias Schröder, Alex Simpson
Compactly generated domain theory. Math. Struct. Comput. Sci. 16 (2) (2006)
Ingo Battenfeld, Matthias Schröder, Alex Simpson
A convenient category of domains. Computational Structures for Modelling Space, Time and Causality (2006)
Matthias Schröder, Alex Simpson
Probabilistic Observations and Valuations: (Extended Abstract). MFPS (2005)
Andrej Bauer, Alex Simpson
Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability. Math. Log. Q. 50 (4-5) (2004)