Alex K. Simpson

Publication Activity (10 Years)

Years Active: 1992-2015
Publications (10 Years): 1

Top Venues

CoRR

Ann. Pure Appl. Log.

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Matteo Mio, Alex K. Simpson
Łukasiewicz μ-calculus. CoRR (2015)
Alex K. Simpson, Thomas Streicher
Constructive toposes with countable sums as models of constructive set theory. Ann. Pure Appl. Log. 163 (10) (2012)
Alex K. Simpson
Reduction in a Linear Lambda-Calculus with Applications to Operational Semantics. RTA (2005)
Matthias Schröder, Alex K. Simpson
Representing Probability Measures using Probabilistic Processes. CCA (2005)
Alex K. Simpson
Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS. J. Log. Algebraic Methods Program. (2004)
Alex K. Simpson
Computational adequacy for recursive types in models of intuitionistic set theory. Ann. Pure Appl. Log. 130 (1-3) (2004)
Anna Bucalo, Carsten Führmann, Alex K. Simpson
An equational notion of lifting monad. Theor. Comput. Sci. 294 (1/2) (2003)
Alex K. Simpson
Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory. LICS (2002)
Ulrich Schöpp, Alex K. Simpson
Verifying Temporal Properties Using Explicit Approximants: Completeness for Context-free Processes. FoSSaCS (2002)
Matías Menni, Alex K. Simpson
Topological and Limit-Space Subcategories of Countably-Based Equilogical Spaces. Math. Struct. Comput. Sci. 12 (6) (2002)
Andrej Bauer, Martín Hötzel Escardó, Alex K. Simpson
Comparing Functional Paradigms for Exact Real-Number Computation. ICALP (2002)
Martín Hötzel Escardó, Alex K. Simpson
A Universal Characterization of the Closed Euclidean Interval. LICS (2001)
Jaap van Oosten, Alex K. Simpson
Axioms and (counter) examples in synthetic domain theory. Ann. Pure Appl. Log. 104 (1-3) (2000)
Jaap van Oosten, Alex K. Simpson
Some axiomatic results in synthetic domain theory. Electron. Notes Theor. Comput. Sci. 35 (2000)
Alex K. Simpson, Gordon D. Plotkin
Complete Axioms for Categorical Fixed-Point Operators. LICS (2000)
Marcelo P. Fiore, Alex K. Simpson
Lambda Definability with Sums via Grothendieck Logical Relations. TLCA (1999)
Alex K. Simpson
Elementary Axioms for Categories of Classes. LICS (1999)
Matías Menni, Alex K. Simpson
The Largest Topological Subcategory of Countably-based Equilogical Spaces. MFPS (1999)
Anna Bucalo, Carsten Führmann, Alex K. Simpson
Equational Lifting Monads. CTCS (1999)
Alex K. Simpson
Computational Adequacy in an Elementary Topos. CSL (1998)
Alex K. Simpson
Lazy Functional Algorithms for Exact Real Functionals. MFCS (1998)
John R. Longley, Alex K. Simpson
A Uniform Approach to Domain Theory in Realizability Models. Math. Struct. Comput. Sci. 7 (5) (1997)
Alex K. Simpson
The Convex Powerdomain in a Category of Posets Realized by CPOs. Category Theory and Computer Science (1995)
Alex K. Simpson
Compositionality via Cut-Elimination: Hennessy-Milner Logic for an Arbitrary GSOS LICS (1995)
Alex K. Simpson
Categorical completeness results for the simply-typed lambda-calculus. TLCA (1995)
Alex K. Simpson
A Characterisation of the Least-Fixed-Point Operator by Dinaturality. Theor. Comput. Sci. 118 (2) (1993)
Fausto Giunchiglia, Luciano Serafini, Alex K. Simpson
Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics. META (1992)

Alex K. Simpson.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alex K. Simpson