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
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