×

zbMATH — the first resource for mathematics

Simpson, Alex K.

Compute Distance To:
Author ID: simpson.alex-k Recent zbMATH articles by "Simpson, Alex K."
Published as: Simpson, A.; Simpson, A. K.; Simpson, Alex; Simpson, Alex K.
External Links: MGP · dblp
Documents Indexed: 52 Publications since 1984, including 2 Books

Publications by Year

Citations contained in zbMATH Open

42 Publications have been cited 236 times in 186 Documents Cited by Year
Comparing Cartesian closed categories of (core) compactly generated spaces. Zbl 1066.54028
Escardó, Martín; Lawson, Jimmie; Simpson, Alex
35
2004
Sequent calculi for induction and infinite descent. Zbl 1242.03084
Brotherston, James; Simpson, Alex
19
2011
A convenient category of domains. Zbl 1277.68113
Battenfeld, Ingo; Schröder, Matthias; Simpson, Alex
12
2007
A uniform approach to domain theory in realizability models. Zbl 0934.03081
Longley, John R.; Simpson, Alex K.
11
1997
Representing probability measures using probabilistic processes. Zbl 1111.60003
Schröder, Matthias; Simpson, Alex
9
2006
Compactly generated domain theory. Zbl 1169.54324
Battenfeld, Ingo; Schröder, Matthias; Simpson, Alex
9
2006
Topological and limit-space subcategories of countably-based equilogical spaces. Zbl 1031.54002
Menni, Matías; Simpson, Alex
9
2002
Lazy functional algorithms for exact real functionals. Zbl 0913.65009
Simpson, Alex K.
9
1998
Relating first-order set theories, toposes and categories of classes. Zbl 1323.03073
Awodey, Steve; Butz, Carsten; Simpson, Alex; Streicher, Thomas
8
2014
Probabilistic observations and valuations (extended abstract). Zbl 1273.68141
Schröder, Matthias; Simpson, Alex
8
2006
Relating first-order set theories and elementary toposes. Zbl 1152.03043
Awodey, Steve; Butz, Carsten; Simpson, Alex; Streicher, Thomas
7
2007
Computational adequacy for recursive types in models of intuitionistic set theory. Zbl 1056.03015
Simpson, Alex
7
2004
Coalgebraic semantics for timed processes. Zbl 1110.68085
Kick, Marco; Power, John; Simpson, Alex
6
2006
Categorical completeness results for the simply-typed lambda-calculus. Zbl 1063.03524
Simpson, Alex K.
6
1995
A characterization of the least-fixed-point operator by dinaturality. Zbl 0788.18007
Simpson, Alex K.
6
1993
Matrices and engineering dynamics. Zbl 0701.65017
Collar, A. R.; Simpson, A.
6
1987
On the solution of \(S(\omega)x=0\) by a Newtonian procedure. Zbl 0564.73071
Simpson, A.
6
1984
Reduction in a linear lambda-calculus with applications to operational semantics. Zbl 1078.03013
Simpson, Alex
5
2005
Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS. Zbl 1072.68070
Simpson, Alex
5
2004
Computational adequacy in an elementary topos. Zbl 0933.03031
Simpson, Alex K.
5
1999
Łukasiewicz \(\mu\)-calculus. Zbl 1380.68281
Mio, Matteo; Simpson, Alex
4
2017
A proof system for compositional verification of probabilistic concurrent processes. Zbl 1260.68273
Mio, Matteo; Simpson, Alex
4
2013
An equational notion of lifting monad. Zbl 1022.18003
Bucalo, Anna; Führmann, Carsten; Simpson, Alex
4
2003
Verifying temporal properties using explicit approximants: Completeness for context-free processes. Zbl 1077.68717
Schöpp, Ulrich; Simpson, Alex
4
2002
Axioms and (counter)examples in synthetic domain theory. Zbl 0961.18006
van Oosten, Jaap; Simpson, Alex K.
4
2000
Cyclic arithmetic is equivalent to Peano arithmetic. Zbl 06720996
Simpson, Alex
3
2017
The enriched effect calculus: syntax and semantics. Zbl 1338.03014
Egger, Jeff; Møgelberg, Rasmus Ejlers; Simpson, Alex
3
2014
Two preservation results for countable products of sequential spaces. Zbl 1117.54038
Schröder, Matthias; Simpson, Alex
3
2007
Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability. Zbl 1059.03073
Bauer, Andrej; Simpson, Alex
3
2004
Enriching an effect calculus with linear types. Zbl 1257.03053
Egger, Jeff; Møgelberg, Rasmus Ejlers; Simpson, Alex
2
2009
Constructive set theories and their category-theoretic models. Zbl 1095.03077
Simpson, Alex
2
2005
The largest topological subcategory of countably-based equilogical spaces. Zbl 0933.18007
Menni, Matías; Simpson, Alex
2
1999
Probability sheaves and the Giry monad. Zbl 1434.18004
Simpson, Alex
1
2017
Comprehensive parametric polymorphism: categorical models and type theory. Zbl 06591810
Ghani, Neil; Nordvall Forsberg, Fredrik; Simpson, Alex
1
2016
Abstract datatypes for real numbers in type theory. Zbl 1416.68036
Escardó, Martín Hötzel; Simpson, Alex
1
2014
Measure, randomness and sublocales. Zbl 1253.06014
Simpson, Alex
1
2012
Linearly-used continuations in the enriched effect calculus. Zbl 1284.68180
Egger, Jeff; Møgelberg, Rasmus Ejlers; Simpson, Alex
1
2010
Relational parametricity for computational effects. Zbl 1168.68009
Møgelberg, Rasmus Ejlers; Simpson, Alex
1
2009
Relational parametricity for control considered as a computational effect. Zbl 1316.68041
Møgelberg, Rasmus Ejlers; Simpson, Alex
1
2007
Comparing functional paradigms for exact real-number computation. Zbl 1056.68057
Bauer, Andrej; Escardó, Martín Hötzel; Simpson, Alex
1
2002
Equational lifting monads. Zbl 0966.68107
Bucalo, Anna; Führmann, Carsten; Simpson, Alex
1
1999
Lambda definability with sums via Grothendieck logical relations. Zbl 0929.18004
Fiore, Marcelo; Simpson, Alex
1
1999
Łukasiewicz \(\mu\)-calculus. Zbl 1380.68281
Mio, Matteo; Simpson, Alex
4
2017
Cyclic arithmetic is equivalent to Peano arithmetic. Zbl 06720996
Simpson, Alex
3
2017
Probability sheaves and the Giry monad. Zbl 1434.18004
Simpson, Alex
1
2017
Comprehensive parametric polymorphism: categorical models and type theory. Zbl 06591810
Ghani, Neil; Nordvall Forsberg, Fredrik; Simpson, Alex
1
2016
Relating first-order set theories, toposes and categories of classes. Zbl 1323.03073
Awodey, Steve; Butz, Carsten; Simpson, Alex; Streicher, Thomas
8
2014
The enriched effect calculus: syntax and semantics. Zbl 1338.03014
Egger, Jeff; Møgelberg, Rasmus Ejlers; Simpson, Alex
3
2014
Abstract datatypes for real numbers in type theory. Zbl 1416.68036
Escardó, Martín Hötzel; Simpson, Alex
1
2014
A proof system for compositional verification of probabilistic concurrent processes. Zbl 1260.68273
Mio, Matteo; Simpson, Alex
4
2013
Measure, randomness and sublocales. Zbl 1253.06014
Simpson, Alex
1
2012
Sequent calculi for induction and infinite descent. Zbl 1242.03084
Brotherston, James; Simpson, Alex
19
2011
Linearly-used continuations in the enriched effect calculus. Zbl 1284.68180
Egger, Jeff; Møgelberg, Rasmus Ejlers; Simpson, Alex
1
2010
Enriching an effect calculus with linear types. Zbl 1257.03053
Egger, Jeff; Møgelberg, Rasmus Ejlers; Simpson, Alex
2
2009
Relational parametricity for computational effects. Zbl 1168.68009
Møgelberg, Rasmus Ejlers; Simpson, Alex
1
2009
A convenient category of domains. Zbl 1277.68113
Battenfeld, Ingo; Schröder, Matthias; Simpson, Alex
12
2007
Relating first-order set theories and elementary toposes. Zbl 1152.03043
Awodey, Steve; Butz, Carsten; Simpson, Alex; Streicher, Thomas
7
2007
Two preservation results for countable products of sequential spaces. Zbl 1117.54038
Schröder, Matthias; Simpson, Alex
3
2007
Relational parametricity for control considered as a computational effect. Zbl 1316.68041
Møgelberg, Rasmus Ejlers; Simpson, Alex
1
2007
Representing probability measures using probabilistic processes. Zbl 1111.60003
Schröder, Matthias; Simpson, Alex
9
2006
Compactly generated domain theory. Zbl 1169.54324
Battenfeld, Ingo; Schröder, Matthias; Simpson, Alex
9
2006
Probabilistic observations and valuations (extended abstract). Zbl 1273.68141
Schröder, Matthias; Simpson, Alex
8
2006
Coalgebraic semantics for timed processes. Zbl 1110.68085
Kick, Marco; Power, John; Simpson, Alex
6
2006
Reduction in a linear lambda-calculus with applications to operational semantics. Zbl 1078.03013
Simpson, Alex
5
2005
Constructive set theories and their category-theoretic models. Zbl 1095.03077
Simpson, Alex
2
2005
Comparing Cartesian closed categories of (core) compactly generated spaces. Zbl 1066.54028
Escardó, Martín; Lawson, Jimmie; Simpson, Alex
35
2004
Computational adequacy for recursive types in models of intuitionistic set theory. Zbl 1056.03015
Simpson, Alex
7
2004
Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS. Zbl 1072.68070
Simpson, Alex
5
2004
Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability. Zbl 1059.03073
Bauer, Andrej; Simpson, Alex
3
2004
An equational notion of lifting monad. Zbl 1022.18003
Bucalo, Anna; Führmann, Carsten; Simpson, Alex
4
2003
Topological and limit-space subcategories of countably-based equilogical spaces. Zbl 1031.54002
Menni, Matías; Simpson, Alex
9
2002
Verifying temporal properties using explicit approximants: Completeness for context-free processes. Zbl 1077.68717
Schöpp, Ulrich; Simpson, Alex
4
2002
Comparing functional paradigms for exact real-number computation. Zbl 1056.68057
Bauer, Andrej; Escardó, Martín Hötzel; Simpson, Alex
1
2002
Axioms and (counter)examples in synthetic domain theory. Zbl 0961.18006
van Oosten, Jaap; Simpson, Alex K.
4
2000
Computational adequacy in an elementary topos. Zbl 0933.03031
Simpson, Alex K.
5
1999
The largest topological subcategory of countably-based equilogical spaces. Zbl 0933.18007
Menni, Matías; Simpson, Alex
2
1999
Equational lifting monads. Zbl 0966.68107
Bucalo, Anna; Führmann, Carsten; Simpson, Alex
1
1999
Lambda definability with sums via Grothendieck logical relations. Zbl 0929.18004
Fiore, Marcelo; Simpson, Alex
1
1999
Lazy functional algorithms for exact real functionals. Zbl 0913.65009
Simpson, Alex K.
9
1998
A uniform approach to domain theory in realizability models. Zbl 0934.03081
Longley, John R.; Simpson, Alex K.
11
1997
Categorical completeness results for the simply-typed lambda-calculus. Zbl 1063.03524
Simpson, Alex K.
6
1995
A characterization of the least-fixed-point operator by dinaturality. Zbl 0788.18007
Simpson, Alex K.
6
1993
Matrices and engineering dynamics. Zbl 0701.65017
Collar, A. R.; Simpson, A.
6
1987
On the solution of \(S(\omega)x=0\) by a Newtonian procedure. Zbl 0564.73071
Simpson, A.
6
1984
all top 5

Cited by 230 Authors

11 Simpson, Alex K.
9 Schröder, Matthias
8 Hötzel Escardó, Martín
8 Streicher, Thomas
6 Battenfeld, Ingo
5 Awodey, Steve
5 Keimel, Klaus
4 Dal Lago, Ugo
4 Ésik, Zoltán
4 Georgiou, Dimitrios N.
4 Iliadis, Stavros D.
4 Klin, Bartek
4 Lawson, Jimmie Don
4 Møgelberg, Rasmus Ejlers
4 Williams, Frederic W.
4 Xu, Xiaoquan
4 Zhao, Dongsheng
3 Berardi, Stefano
3 Bloom, Stephen L.
3 Leung, Andrew Yee-Tak
3 Plotkin, Gordon D.
3 Rosolini, Giuseppe
3 Shen, Chong
3 Tini, Simone
3 van Oosten, Jaap
3 Xi, Xiaoyong
2 Berger, Ulrich
2 Blanck, Jens
2 Brotherston, James
2 Butz, Carsten
2 Cockett, J. Robin B.
2 De Brecht, Matthew
2 Freer, Cameron E.
2 Frolova, D. S.
2 Gebler, Daniel E.
2 Ghani, Neil
2 Hetzl, Stefan
2 Hirashima, Yasumasa
2 Jordan, Francis
2 Kennedy, David P.
2 Longley, John R.
2 Masini, Andrea
2 Mynard, Frédéric
2 Oda, Nobuyuki
2 Roy, Daniel M.
2 Schroeder-Heister, Peter Joseph
2 Selivanov, Viktor L’vovich
2 Tatsuta, Makoto
2 Weihrauch, Klaus
2 Zorzi, Margherita
1 Ackerman, Nathanael Leedom
1 Ahman, Danel
1 Anberrée, Thomas
1 Basold, Henning
1 Bauer, Andrej
1 Benton, Nick
1 Berline, Chantal
1 Birkedal, Lars
1 Blanchette, Jasmin Christian
1 Blute, Richard F.
1 Boehm, Hans-Juergen
1 Bonchi, Filippo
1 Borgström, Johannes
1 Bosserhoff, Volker
1 Brauner, Paul
1 Brengos, Tomasz
1 Bucalo, Anna
1 Castiglioni, Valentina
1 Cerna, David M.
1 Chan, Che Wai
1 Chan, J. K. W.
1 Chen, Shilin
1 Chui, Charles Kam-tai
1 Clementino, Maria Manuel
1 Cockett, Robinröß
1 Collins, Peter J.
1 Crubillé, Raphaëlle
1 Dagnino, Francesco
1 Dam, Mads
1 Das, Anupam
1 de Carvalho, Daniel
1 de Jong, Tom J.
1 de Wind, Paulien
1 Di Gianantonio, Pietro
1 Diaconescu, Denisa
1 Díaz-Caro, Alejandro
1 Distefano, Dino
1 Dolecki, Szymon
1 Došen, Kosta
1 Eberhard, Sebastian
1 Ebrahimi, Masoumeh
1 Edalat, Abbas
1 Egger, Jeffrey M.
1 Ehrhard, Thomas
1 Eriksson, Lars-Henrik
1 Fiore, Marcelo P.
1 Fokkink, Willem Jan
1 Forsberg Gutkovas, Ramūnas
1 Fritz, Tobias
1 Furber, Robert W. J.
...and 130 more Authors

Citations by Year