Alex K. Simpson

According to our database, Alex K. Simpson authored at least 60 papers between 1992 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Behavioural Equivalence via Modalities for Algebraic Effects.

Alex Simpson, Niels F. W. Voorneveld

ACM Trans. Program. Lang. Syst., 2020

2018

Google searches do not correlate with melanoma incidence in majority English speaking countries.

Laura McDonald, Alex Simpson, Sophie Graham, Anna Schultze, Beth Nordstrom, Piyush Durani, Faisal Mehmud, Sreeram V. Ramagopalan

npj Digit. Medicine, 2018

Category-theoretic Structure for Independence and Conditional Independence.

Alex Simpson

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular.

Aliaume Lopez, Alex Simpson

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

2017

Łukasiewicz μ-calculus.

Matteo Mio, Alex Simpson

Fundam. Informaticae, 2017

Cyclic Arithmetic Is Equivalent to Peano Arithmetic.

Alex Simpson

Proceedings of the Foundations of Software Science and Computation Structures, 2017

Probability Sheaves and the Giry Monad.

Alex Simpson

Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

2016

Comprehensive Parametric Polymorphism: Categorical Models and Type Theory.

Neil Ghani, Fredrik Nordvall Forsberg, Alex Simpson

Proceedings of the Foundations of Software Science and Computation Structures, 2016

2014

The enriched effect calculus: syntax and semantics.

Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson

J. Log. Comput., 2014

Relating first-order set theories, toposes and categories of classes.

Steven Awodey, Carsten Butz, Alex Simpson, Thomas Streicher

Ann. Pure Appl. Log., 2014

Abstract Datatypes for Real Numbers in Type Theory.

Martín Hötzel Escardó, Alex Simpson

Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014

2013

Łukasiewicz mu-Calculus.

Matteo Mio, Alex Simpson

Proceedings of the Proceedings Workshop on Fixed Points in Computer Science, 2013

Conditional Independence in Categories.

Alex Simpson

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

A Proof System for Compositional Verification of Probabilistic Concurrent Processes.

Matteo Mio, Alex Simpson

Proceedings of the Foundations of Software Science and Computation Structures, 2013

2012

Linear-use CPS translations in the Enriched Effect Calculus

Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson

Log. Methods Comput. Sci., 2012

Constructive toposes with countable sums as models of constructive set theory.

Alex K. Simpson, Thomas Streicher

Ann. Pure Appl. Log., 2012

Measure, randomness and sublocales.

Alex Simpson

Ann. Pure Appl. Log., 2012

2011

Sequent calculi for induction and infinite descent.

James Brotherston, Alex Simpson

J. Log. Comput., 2011

2010

A Generic Operational Metatheory for Algebraic Effects.

Patricia Johann, Alex Simpson, Janis Voigtländer

Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

Linearly-Used Continuations in the Enriched Effect Calculus.

Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson

Proceedings of the Foundations of Software Science and Computational Structures, 2010

2009

Relational Parametricity for Computational Effects

Rasmus Ejlers Møgelberg, Alex Simpson

Log. Methods Comput. Sci., 2009

Linear types for computational effects.

Alex Simpson

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

Enriching an Effect Calculus with Linear Types.

Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson

Proceedings of the Computer Science Logic, 23rd international Workshop, 2009

2007

Two preservation results for countable products of sequential spaces.

Matthias Schröder, Alex Simpson

Math. Struct. Comput. Sci., 2007

Programming Languages and Operational Semantics by Fernández Maribel, King's College Publications, 2004, ISBN 0954300637.

Alex Simpson

J. Funct. Program., 2007

Relational Parametricity for Control Considered as a Computational Effect.

Rasmus Ejlers Møgelberg, Alex Simpson

Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics, 2007

A Convenient Category of Domains.

Ingo Battenfeld, Matthias Schröder, Alex Simpson

Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007

Relating First-order Set Theories and Elementary Toposes.

Steven Awodey, Carsten Butz, Alex Simpson, Thomas Streicher

Bull. Symb. Log., 2007

A Logic for Parametric Polymorphism with Effects.

Rasmus Ejlers Møgelberg, Alex Simpson

Proceedings of the Types for Proofs and Programs, International Conference, 2007

Complete Sequent Calculi for Induction and Infinite Descent.

James Brotherston, Alex Simpson

Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007

2006

Compactly generated domain theory.

Ingo Battenfeld, Matthias Schröder, Alex Simpson

Math. Struct. Comput. Sci., 2006

Representing probability measures using probabilistic processes.

Matthias Schröder, Alex Simpson

J. Complex., 2006

Coalgebraic semantics for timed processes.

Marco Kick, John Power, Alex Simpson

Inf. Comput., 2006

2005

Probabilistic Observations and Valuations: (Extended Abstract).

Matthias Schröder, Alex Simpson

Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005

Reduction in a Linear Lambda-Calculus with Applications to Operational Semantics.

Alex K. Simpson

Proceedings of the Term Rewriting and Applications, 16th International Conference, 2005

Constructive Set Theories and their Category-theoretic Models.

Alex Simpson

Proceedings of the From sets and types to topology and analysis, 2005

2004

Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability.

Andrej Bauer, Alex Simpson

Math. Log. Q., 2004

Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS.

Alex K. Simpson

J. Log. Algebraic Methods Program., 2004

Computational adequacy for recursive types in models of intuitionistic set theory.

Alex K. Simpson

Ann. Pure Appl. Log., 2004

2003

An equational notion of lifting monad.

Anna Bucalo, Carsten Führmann, Alex K. Simpson

Theor. Comput. Sci., 2003

2002

Topological and Limit-Space Subcategories of Countably-Based Equilogical Spaces.

Matías Menni, Alex K. Simpson

Math. Struct. Comput. Sci., 2002

Comparing Functional Paradigms for Exact Real-Number Computation.

Andrej Bauer, Martín Hötzel Escardó, Alex K. Simpson

Proceedings of the Automata, Languages and Programming, 29th International Colloquium, 2002

Verifying Temporal Properties Using Explicit Approximants: Completeness for Context-free Processes.

Ulrich Schöpp, Alex K. Simpson

Proceedings of the Foundations of Software Science and Computation Structures, 2002

2001

A Universal Characterization of the Closed Euclidean Interval.

Martín Hötzel Escardó, Alex K. Simpson

Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001

2000

Axioms and (counter) examples in synthetic domain theory.

Jaap van Oosten, Alex K. Simpson

Ann. Pure Appl. Log., 2000

Complete Axioms for Categorical Fixed-Point Operators.

Alex K. Simpson, Gordon D. Plotkin

Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000

1999

Equational Lifting Monads.

Anna Bucalo, Carsten Führmann, Alex K. Simpson

Proceedings of the Conference on Category Theory and Computer Science, 1999

The Largest Topological Subcategory of Countably-based Equilogical Spaces.

Matías Menni, Alex K. Simpson

Proceedings of the Fifteenth Conference on Mathematical Foundations of Progamming Semantics, 1999

Lambda Definability with Sums via Grothendieck Logical Relations.

Marcelo P. Fiore, Alex K. Simpson

Proceedings of the Typed Lambda Calculi and Applications, 4th International Conference, 1999

Elementary Axioms for Categories of Classes.

Alex K. Simpson

Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999

1998

Some axiomatic results in synthetic domain theory.

Jaap van Oosten, Alex K. Simpson

Proceedings of the Workshop on Domains IV 1998, 1998

Lazy Functional Algorithms for Exact Real Functionals.

Alex K. Simpson

Proceedings of the Mathematical Foundations of Computer Science 1998, 1998

Computational Adequacy in an Elementary Topos.

Alex K. Simpson

Proceedings of the Computer Science Logic, 12th International Workshop, 1998

1997

A Uniform Approach to Domain Theory in Realizability Models.

John R. Longley, Alex K. Simpson

Math. Struct. Comput. Sci., 1997

1995

Categorical completeness results for the simply-typed lambda-calculus.

Alex K. Simpson

Proceedings of the Typed Lambda Calculi and Applications, 1995

Compositionality via Cut-Elimination: Hennessy-Milner Logic for an Arbitrary GSOS

Alex K. Simpson

Proceedings of the Proceedings, 1995

The Convex Powerdomain in a Category of Posets Realized by CPOs.

Alex K. Simpson

Proceedings of the Category Theory and Computer Science, 6th International Conference, 1995

1994

The proof theory and semantics of intuitionistic modal logic.

Alex K. Simpson

PhD thesis, 1994

1993

A Characterisation of the Least-Fixed-Point Operator by Dinaturality.

Alex K. Simpson

Theor. Comput. Sci., 1993

1992

Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics.

Fausto Giunchiglia, Luciano Serafini, Alex K. Simpson

Proceedings of the Meta-Programming in Logic, 3rd International Workshop, 1992