Talks are listed in reverse chronological order.
They are available in pdf (and sometimes also postscript).
If you would like another
format then please contact me:
`Alex.Simpson@inf.ed.ac.uk`

**Category-theoretic structure for conditional independence**
(pdf)

Talk at Category Theory Seminar.

DPMMS, University of Cambridge, 25th February 2014.

**Real Numbers in Type Theory**
(pdf)

Invited 3-lecture course at *Days in Logic*

Universidade do Minho, Braga, Portugal, January 2014.

**Conditional Independence in Categories**
(pdf)

Invited talk at *Topology, Algebra, and Categories in Logic (TACL) 2013*

Vanderbilt University, Nashville, USA, July-August 2013

**Cyclic Arithmetic (in context)**
(pdf)

Invited talk at *Collegium Logicium 2012*

LIX, Palaiseau, Paris, November 2012.

**Categorical axioms for
functional real-number compuation**

Invited tutorial at *MAP 2011*,
Lorentz Center, Leiden, Netherlands, November-December 2011, given
jointly with
Martín Escardó.

Parts 1 and 2, given by Martín (pdf for animation)

Parts 3 and 4, given by me
(pdf for animation, pdf handout)

**Sequent calculus for (probabilistic) process verification**
(pdf)

Invited talk at *MFPS 2011*

Carnegie Mellon University, Pittsburgh, USA, May 2011

**On Proof by Infinite Descent**
(pdf)

Invited talk at *ALCOP 2011*

Bern, Switzerland, April 2011

**A Generic Operational Metatheory for Algebraic Effects**
(pdf)

(Corrected version of) talk given at *LICS 2010*,
Edinburgh, July 2010

**Linear Types for Continuations**
(pdf)

Invited talk at *LOLA* Workshop.

FLoC, Edinburgh, July 2010

**Linearly-used Continuations and Self-duality**
(pdf)

Invited talk at *Linearity* Workshop.

Coimbra, Portugal, September 2009

**The Locale of Random Sequences**
(pdf)

Invited talk at *Continuity, Computability, Constructivity - From Logic to Algorithms*

Cologne, July 2009

(Supersedes 2007 and 2008 talks with same title below.)

**Linear Types for Computational Effects**
(pdf)

Invited talk at *Principles of Programming Languages - POPL '09*

Savannah, Georgia, USA, January 2009.

**"Spaces of Valuations" Revisited**
(pdf)

Invited talk at New Interactions Between Analysis, Topology and
Computation.

Birmingham, January 2009.

**The Locale of Random Sequences**
(pdf)

Oxford OASIS Seminar and Leeds
Logic Seminar, November 2008.

(Superseded by July 2009 talk with same title.)

**Intuitionistic Set Theories and their Models**
(pdf)

Invited talk at
*XXIII Incontro di Logica*

Genova, Italy, February 2008.

**Neoclassical domain theory**
(postscript,
pdf)

Invited talk at *Domains VIII and Computability over
Continuous Data Types*

Novosibirsk, Siberia, Russia, September 2007

**Formal Borel sets - a proof-theoretic approach**
(postscript,
pdf)

Slightly expanded (August 2007) version of
joint *LICS/Logic Colloquium* talk

Wroclaw, Poland, July 2007

(Announced in conference programmes as *Non-well-founded proofs*)

**Relational Parametricity for Computational Effects**
(pdf)

Talk given at *LICS 2007*,
Wroclaw, Poland, July 2007

**The Locale of Random Sequences**
(postscript,
pdf)

Talk given at *3rd Workshop on Formal Topology*,

Università di Padova, Italy, May 2007

(Superseded by November 2008 and July 2009 talks
with same title.)

**Beyond Classical Domain Theory**
(postscript,
pdf)

Tutorial given at *Mathematical Foundations of Programming Semantics XXIII*,

Tulane University, New Orleans, April 2007

**Probabilistic Observations and Valuations**
(postscript,
pdf)

Talk at *Mathematical Foundations of Programming Semantics XXI*,
special session on domain theory and topology,

University of Birmingham, May 2005

**Reduction in a Linear Lambda-calculus with Applications
to Operational Semantics**
(postscript,
pdf)

Talk at *Rewriting Techniques and Applications*,

Nara, Japan, April 2005.

**Parametric Polymorphism, Strictness and Recursion**
(postscript,
pdf)

Invited talk at *Mathematical Foundations of Programming Semantics XX*,

CMU, Pittsburgh, May 2004

**Axioms for Synthetic Domain Theory**
(postscript,
pdf)

Talk in *Logical Foundations of Programming Semantics*,
special session at 2004 Annual Meeting of Association of Symbolic
Logic and MFPS XX

CMU, Pittsburgh, May 2004