Follow
Alex Simpson
Alex Simpson
Professor of Computer Science, Faculty of Mathematics and Physics, University of Ljubljana
Verified email at fmf.uni-lj.si
Title
Cited by
Cited by
Year
The proof theory and semantics of intuitionistic modal logic
AK Simpson
University of Edinburgh. College of Science and Engineering. School of …, 1994
5371994
Complete axioms for categorical fixed-point operators
A Simpson, G Plotkin
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science …, 2000
1652000
Sequent calculi for induction and infinite descent
J Brotherston, A Simpson
Journal of Logic and Computation 21 (6), 1177-1216, 2011
1562011
Comparing Cartesian closed categories of (core) compactly generated spaces
M Escardó, J Lawson, A Simpson
Topology and its Applications 143 (1-3), 105-145, 2004
1232004
Lazy functional algorithms for exact real functionals
AK Simpson
International Symposium on Mathematical Foundations of Computer Science, 456-464, 1998
741998
A convenient category of domains
I Battenfeld, M Schröder, A Simpson
Electronic Notes in Theoretical Computer Science 172, 69-99, 2007
632007
A uniform approach to domain theory in realizability models
JR Longley, AK Simpson
Mathematical Structures in Computer Science 7 (5), 469-505, 1997
591997
A generic operational metatheory for algebraic effects
P Johann, A Simpson, J Voigtländer
2010 25th Annual IEEE Symposium on Logic in Computer Science, 209-218, 2010
572010
Complete sequent calculi for induction and infinite descent
J Brotherston, A Simpson
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 51-62, 2007
562007
Cyclic arithmetic is equivalent to peano arithmetic
A Simpson
International Conference on Foundations of Software Science and Computation …, 2017
522017
Elementary axioms for categories of classes
AK Simpson
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999
501999
Recursive types in Kleisli categories
AK Simpson
Unpublished manuscript, University of Edinburgh, 1992
441992
Topological and limit-space subcategories of countably-based equilogical spaces
M Menni, A Simpson
Mathematical Structures in Computer Science 12 (6), 739-770, 2002
432002
Reduction in a linear lambda-calculus with applications to operational semantics
A Simpson
International Conference on Rewriting Techniques and Applications, 219-234, 2005
422005
The enriched effect calculus: syntax and semantics
J Egger, R Ejlers, A Simpson
Journal of Logic and Computation 24 (3), 615-654, 2014
402014
Behavioural equivalence via modalities for algebraic effects
A Simpson, N Voorneveld
ACM Transactions on Programming Languages and Systems (TOPLAS) 42 (1), 1-45, 2019
372019
Comparing functional paradigms for exact real-number computation
A Bauer, MH Escardó, A Simpson
International Colloquium on Automata, Languages, and Programming, 488-500, 2002
372002
A universal characterization of the closed Euclidean interval
MH Escardó, AK Simpson
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 115-125, 2001
372001
Categorical completeness results for the simply-typed lambda-calculus
AK Simpson
International Conference on Typed Lambda Calculi and Applications, 414-427, 1995
371995
Enriching an effect calculus with linear types
J Egger, RE Mřgelberg, A Simpson
International Workshop on Computer Science Logic, 240-254, 2009
362009
The system can't perform the operation now. Try again later.
Articles 1–20