Work

Here’s some of the work that I have been doing in recent times.

Publications

Presentations

  • Double Glueing and Models of Linear Logic
    • Computer Science Seminar, University of Oxford (June 2015)
    • Séminaire LIX, École Polytechnique (November 2014)
  • Hypercoherence Spaces form a Double-Glued Category
    • Séminaire PPS, Université Paris-Diderot (September 2014)
    • Séminaire LCR, Université Paris-Nord (April 2014)
  • Some Results for Linear Logic Full Completeness
    • Séminaire LCR, Université Paris-Nord (June 2013)
    • Séminaire Logique et Interactions, Université d’Aix Marseille (October 2012)
  • Constructing Fully Complete Models for MLL
    • LICS, University of Dubrovnik (June 2012)
    • BCTCS, University of Manchester (April 2012)
    • Domains X, Swansea University (September 2011)
    • Logic Seminar, University of Manchester (May 2011)