-
Epimorphisms and acylic types
at Dutch Categories And Types Seminar,
Utrecht, 3 March 2023.
-
Domain Theory in Constructive and
Predicative Univalent Foundations at my PhD viva, Online,
20 December 2022.
-
Acyclic types and epimorphisms in
HoTT
at HoTTEST,
Online, 17 November 2022.
The talk was recorded and is available
on YouTube.
-
Acyclic types and epimorphisms in
homotopy type theory at
the Theoretical Computer
Science seminar, University of Birmingham, 21 October 2022.
George Kaye made this
funny webpage
to mark the occasion.
-
Domain theory in constructive and predicative HoTT/UF at the
Seminar for foundations of mathematics and theoretical computer science,
University of Ljubljana, 2 July 2022.
-
Domain theory in constructive and predicative HoTT/UF at
Yorkshire and Midlands Category Theory Seminar (YamCATS),
Leeds, 12 May 2022.
-
Order Theory and Propositional Resizing
in HoTT/UF at
HoTTEST
Event for Junior Researchers 2022, Online, 13 January 2022.
This talk was recorded and is available
on YouTube.
-
Sharp Elements and the Scott Topology
of Domains at
MFPS 2021,
Salzburg (hybrid), 2 September 2021.
-
Predicative Aspects of Order Theory in
Univalent Foundations at
FSCD 2021,
Buenos Aires (held virtually), 22 July 2021.
This talk was recorded and is available on
YouTube.
-
Predicative Aspects of Order Theory in
Univalent Foundations at
CATS,
Institute for Logic, Language and Computation (ILLC) of the University of
Amsterdam (online), 16 March 2021.
-
Domain Theory in Constructive and Predicative
Univalent Foundations at
CSL 2021,
Ljubljana (held virtually), 27 January 2021.
This talk was recorded and is available on
YouTube.
-
Apartness for continuous dcpos
(with notes) at
BRAVO - Theory
PhD students seminar,
University of Birmingham, 9 November 2020.
-
Domain theory in predicative Univalent Foundations
(with notes) at
HoTT/UF Workshop 2020,
Online, 7 July 2020.
This talk was recorded and is available on
YouTube.
-
Constructive domain theory in Univalent
Foundations (with notes) at
BCTCS 2020,
Swansea (held virtually), 8 April 2020.
-
The Scott Model of PCF in Univalent
Type Theory (with notes) at
CCC 2019,
Ljubljana, 5 September 2019.
Please note that this 40-minute talk covers much more than the
15-minute talk (below) at TYPES.
-
The Scott Model of PCF in
Univalent Type Theory (with notes) at
TYPES 2019, Oslo,
11 June 2019.