Alex Simpson

发表

Kripke Semantics for a Logical Framework

Alex Simpson, 1993 .

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Alex Simpson, Mikołaj Bojańczyk, 2019 .

Constructive Set Theories and their Category-theoretic Models

Alex Simpson, A. Simpson, 2005, From sets and types to topology and analysis.

Mathematical Theory of Domains

Alex Simpson, 1998 .

Relating Topos Theory and Set Theory Via Categories of Classes

Thomas Streicher, Alex Simpson, Steve Awodey, 2003 .

Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science

Rasmus Ejlers Møgelberg, Alex Simpson, Alex Simpson, 2007 .

Elementary Axioms for Categories of Classes (Extended Abstract)

Alex Simpson, 1999, LICS 1999.

Two Probabilistic Powerdomains in Topological Domain Theory

Alex Simpson, Ingo Battenfeld, A. Simpson, 2006 .

Using Synthetic Domain Theory to Prove Operational Properties of a Polymorphic Programming Language Based on Strictness

Giuseppe Rosolini, Alex Simpson, A. Simpson, 2004 .