Models and Axioms for the Semantics of Computation

Simpson, Alexander (Principal Investigator)

13 Article
3 Conference contribution
3 Chapter (peer-reviewed)

13 results

Filter

2014
Relating first-order set theories, toposes and categories of classes
Awodey, S., Butz, C., Simpson, A. & Streicher, T., 2014, In: Annals of Pure and Applied Logic. 165, 2, p. 428-502 75 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
2010
Sequent calculi for induction and infinite descent
Brotherston, J. & Simpson, A., 2010, In: Journal of Logic and Computation. 21, 2, p. 1177-1216 40 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
2007
A Convenient Category of Domains
Battenfeld, I., Schröder, M. & Simpson, A., 2007, In: Electronic Notes in Theoretical Computer Science. 172, p. 69-99 31 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
Relating first-order set theories and elementary toposes
Awodey, S., Butz, C., Streicher, T. & Simpson, A., 2007, In: Bulletin of Symbolic Logic. p. 340-358 19 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
Two preservation results for countable products of sequential spaces
Schröder, M. & Simpson, A., 2007, In: Mathematical Structures in Computer Science. 17, 1, p. 161-172 12 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
2006
Coalgebraic Semantics for Timed Processes
Kick, M., Power, J. & Simpson, A., 2006, In: Information and Computation. 204, 4, p. 588-609 22 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
Compactly Generated Domain Theory
Battenfeld, I., Schröder, M. & Simpson, A., 2006, In: Mathematical Structures in Computer Science. 16, 2, p. 141-161 21 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
Probabilistic Observations and Valuations (Extended Abstract)
Schröder, M. & Simpson, A., 2006, In: Electronic Notes in Theoretical Computer Science. 155, p. 605-615 11 p.
Research output: Contribution to journal › Article

Open Access
File
Representing Probability Measures using Probabilistic Processes
Schröder, M. & Simpson, A., 2006, In: Journal of Complexity. 22, 6, p. 768-788 21 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
2004
Comparing Cartesian-closed Categories of (Core) Compactly Generated Spaces
Escardó, M., Lawson, J. & Simpson, A., 2004, In: Topology and its Applications. 143, 1-3, p. 105-145 41 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory
Simpson, A., 2004, In: Annals of Pure and Applied Logic. 130, 1-3, p. 207-275 69 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
Sequent Calculi for Process Verification: Hennessy-Milner Logic for an Arbitrary GSOS
Simpson, A., 2004, In: Journal of Logic and Algebraic Programming. 60-61, p. 287-322 35 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
Two Constructive Embedding-Extension Theorems with Applications to Continuity Principles and to Banach-Mazur Computability
Bauer, A. & Simpson, A., 2004, In: Mathematical Logic Quarterly. 50, 4-5, p. 351-369 19 p.
Research output: Contribution to journal › Article › peer-review

Models and Axioms for the Semantics of Computation

Research output

Search results