Alex Simpson: Home Page
Alex Simpson: Home Page
Alex SimpsonLaboratory for Foundations
of Computer Science (LFCS) School of Informatics,
University of Edinburgh
Email:
Alex.Simpson@ed.ac.uk Phone: +44 131 650 5113Fax: +44 131 667 7209
Recent:
November 2012: Slides for my talk
Cyclic Arithmetic (in context)
at
Collegium Logicum 2012: Structural Proof Theory .
November-December 2011:
Joint tutorial, with Martín Escardó. on
Categorical axioms for functional real-number computation , at MAP 2011 , Lorentz Center, Leiden, Netherlands
25 November 2011:
Fifth Scottish Category Theory Seminar ,
Informatics Forum, University of Edinburgh.
July 2011:
Summary of a research project on
Linear Observations and Computational Effects
May 2011: Slides for my
MFPS 2011
talk,
Sequent calculus for (probabilistic) process
verification
April 2011: Slides for my
ALCOP 2011
talk,
On Proof by Infinite Descent
17-18 March 2011:
European Workshop on Computational Effects ,
Ljubljana, Slovenia.
10 July 2010:
Proof Systems for Program Logics ,
LICS -affiliated workshop at
FLoC 2010
9 July 2010:
Slides for my
LOLA 2010 talk,
Linear Types for Continuations
29 June 2010:
Scott in Scotland , Informatics Forum, University of Edinburgh.
21 May 2010:
Second Scottish Category Theory Seminar ,
Informatics Forum, University of Edinburgh.
6-7 May 2010:
Set Theory, Classical and Constructive ,
Amsterdam.
September 2009:
Slides for my Linearity talk:
Linearly-used Continuations and Self-duality
July 2009:
Slides for my CCC talk:
The Locale of Random Sequences
January 2009:
Slides for my POPL talk:
Linear Types for Computational Effects
January 2009:
Slides for my talk at New Interactions Between Analysis, Topology and
Computation:
"Spaces of Valuations" Revisited
February 2008:
Slides for my talk at the
XXIII Incontro di Logica
Intuitionistic Set Theory
and its Models
December 2007:
Summary of a research project on
relational parametricity for computational effects
September 2007:
Slides for my Domains VIII talk
Neoclassical domain theory
July 2007:
Slides for my LICS/LC 2007 talk
Formal Borel sets - a
proof-theoretic approach
April 2007:
Slides for my MFPS XXIII tutorial
Beyond Classical
Domain Theory
December 2006:
Summary of a research project on
topological domain theory
September 2006:
Symposium for Gordon Plotkin , Edinburgh, 7-8 September 2006
