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
5691994
Sequent calculi for induction and infinite descent
J Brotherston, A Simpson
Journal of Logic and Computation 21 (6), 1177-1216, 2011
1702011
Complete axioms for categorical fixed-point operators
A Simpson, G Plotkin
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science …, 2000
1692000
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
1252004
Lazy functional algorithms for exact real functionals
AK Simpson
Mathematical Foundations of Computer Science 1998: 23rd International …, 1998
741998
A convenient category of domains
I Battenfeld, M Schröder, A Simpson
Electronic Notes in Theoretical Computer Science 172, 69-99, 2007
642007
Cyclic arithmetic is equivalent to peano arithmetic
A Simpson
Foundations of Software Science and Computation Structures: 20th …, 2017
602017
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
602007
A uniform approach to domain theory in realizability models
JR Longley, AK Simpson
Mathematical Structures in Computer Science 7 (5), 469-505, 1997
601997
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
592010
Elementary axioms for categories of classes
AK Simpson
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999
491999
Recursive types in Kleisli categories
AK Simpson
Unpublished manuscript, University of Edinburgh, 1992
461992
Reduction in a linear lambda-calculus with applications to operational semantics
A Simpson
RTA 3467, 219-234, 2005
442005
Topological and limit-space subcategories of countably-based equilogical spaces
M Menni, A Simpson
Mathematical Structures in Computer Science 12 (6), 739-770, 2002
442002
Behavioural equivalence via modalities for algebraic effects
A Simpson, N Voorneveld
ACM Transactions on Programming Languages and Systems (TOPLAS) 42 (1), 1-45, 2019
422019
The enriched effect calculus: syntax and semantics
J Egger, R Ejlers, A Simpson
Journal of Logic and Computation 24 (3), 615-654, 2014
422014
Relating first-order set theories, toposes and categories of classes
S Awodey, C Butz, A Simpson, T Streicher
Annals of Pure and Applied Logic 165 (2), 428-502, 2014
412014
Enriching an effect calculus with linear types
J Egger, RE Møgelberg, A Simpson
Computer Science Logic: 23rd international Workshop, CSL 2009, 18th Annual …, 2009
392009
Comparing functional paradigms for exact real-number computation
A Bauer, MH Escardó, A Simpson
Automata, Languages and Programming: 29th International Colloquium, ICALP …, 2002
392002
A universal characterization of the closed Euclidean interval
MH Escardo, AK Simpson
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 115-125, 2001
382001
The system can't perform the operation now. Try again later.
Articles 1–20