Alexander Simpson

Follow

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science	2007	Alexander Simpson Rasmus Ejlers Møgelberg
+	Two Probabilistic Powerdomains in Topological Domain Theory	2006	Alexander Simpson Ingo Battenfeld
+	Elementary axioms for categories of classes	2003	Alexander Simpson
+	Locally Non-compact Spaces and Continuity Rinciples	2003	Alexander Simpson Andrej Bauer
+	Recursive types in Kleisli categories	1992	Alexander Simpson

Common Coauthors

Coauthor	Papers Together
Rasmus Ejlers Møgelberg	1
Andrej Bauer	1
Ingo Battenfeld	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+	The realizability approach to computable analysis and topology	2000	Andrej Bauer Dana Scott	1
+	Sheaves in Geometry and Logic: A First Introduction to Topos Theory	2018	Saunders MacLane Galdós Ieke Moerdijk	1
+	Harvey Friedman's Research on the Foundations of Mathematics	1985	Harvey Friedman Leo Harrington	1
+	Continuous Functionals of Dependent Types and Equilogical Spaces	2000	Andrej Bauer Lars Birkedal	1
+ PDF Chat	Topological and limit-space subcategories of countably-based equilogical spaces	2002	Matı́as Menni Alex Simpson	1
+	Quotients of countably based spaces are not closed under sobrification	2006	Gary Gruenhage Thomas Streicher	1
+	Spaces of Valuations	1996	Reinhold Heckmann	1
+ PDF Chat	Two preservation results for countable products of sequential spaces	2007	Matthias Schröder Alex Simpson	1
+	Comparing Cartesian closed categories of (core) compactly generated spaces	2004	Martı́n Hötzel Escardó Jimmie Lawson Alex Simpson	1
+	Regular and exact completions	1998	A. Carboni E. M. Vitale	1
+ PDF Chat	In Domain Realizability, not all Functionals on C[–1, 1] are Continuous	2002	Martı́n Hötzel Escardó Thomas Streicher	1
+	Probabilistic Observations and Valuations	2006	Matthias Schröder Alex Simpson	1
+	The probabilistic powerdomain for stably compact spaces	2004	Mauricio Alvarez-Manilla Achim Jung Klaus Keimel	1
+ PDF Chat	Compactly generated domain theory	2006	Ingo Battenfeld Matthias Schröder Alex Simpson	1
+	Sheaves in Geometry and Logic	1994	Saunders Mac Lane Ieke Moerdijk	1
+	Algebraically complete categories	1991	Peter Freyd	1