David Corfield

Modal Homotopy Type Theory

Modal Homotopy Type Theory

2020

Sophie and the Witches of Wake

Sophie and the Witches of Wakerley Wood

2012

Roads with a View

Roads with a View

2010

Foundations of Bayesianism

2001