thanks for visiting. sorry about the mess. behind the tabs above are most of my papers and some slides. on the right are links to the recordings of some recent talks.
the publication details for the papers are in this BibTeX base.
my book:
-
Programs as diagrams: From categorical computability to computable categories
(There is also a draft on arxiv, without the stories, the workouts, or the final sections.)
some recent papers:
-
From Gödel’s Incompleteness Theorem to the completeness of bot religions (with Temra Pavlovic) – abstract
-
Tight limits and completions from Dedekind-MacNeille to Lambek-Isbell (with Dominic Hughes) – abstract
-
The nucleus: Mining concepts from adjunctions (with Dominic Hughes) – abstract
-
Privacy protocols (with Jason Castiglione and Peter-Michael Seidel) – abstract
-
Probabilistic annotations for protocol models – abstract
-
Lambek pregroups are Frobenius spiders in preorders – abstract
-
From process-propositions-as-types to categorified real numbers and monoidal computers – abstract
-
Logic of fusion – abstract
some old web pages with older stuff which i didn’t transfer:
- at Kestrel Institute (1999-2009)
- at Oxford University (2008-2012)
- Cloudfactory (up to 2006)
