Martin Escardo

icon indicating a website link http://www.cs.bham.ac.uk/~mhe/

icon company University of Birmingham icon location United Kingdom icon location Professor of Theoretical Computer Science

Results 3 repositories owned by Martin Escardo

HoTT-UF-Agda-Lecture-Notes

213
Stars
18
Forks
Watchers

Lecture notes on univalent foundations of mathematics with Agda

verified publisher icon martinescardo

TypeTopology

212
Stars
39
Forks
Watchers

Logical manifestations of topological concepts, and other things, via the univalent point of view.

verified publisher icon martinescardo

HoTTEST-Summer-School

262
Stars
65
Forks
Watchers

HoTTEST Summer School materials

verified publisher icon martinescardo