Modal Homotopy Type Theory | Canterbury) University of Kent Senior Lecturer in Philosophy David (Senior Lecturer in Philosophy Corfield