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

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