On exact real computer arithmetic:

- Dave Plume (supervised by Martín Escardó, Alex Simpson):
*A Calculator for Exact Real Number Computation*, University of Edinburgh (1998) [web]

On probability theory in topos theory:

*Probability sheaves*, talk at Topos à l’IHÉS, November 2015 (YouTube)

On cartesian closed convenient categories of topological spaces, such as compactly generated topological spaces:

- Martín Escardó, Jimmie Lawson, Alex Simpson,
*Comparing Cartesian closed categories of (core) compactly generated spaces*, Topology and its Applications Volume 143, Issues 1–3, 28 August 2004, Pages 105-145 (doi:10.1016/j.topol.2004.02.011)

On first-order set theory and categorical logic:

- Steve Awodey, Carsten Butz, Alex Simpson, Thomas Streicher,
*Relating first-order set theories, toposes and categories of classes*, Annals of Pure and Applied Logic**165**2 (2014) 428-502 [doi:10.1016/j.apal.2013.06.004]

category: people

Last revised on February 9, 2023 at 13:28:03. See the history of this page for a list of all contributions to it.