United Kingdom

Martin Escardo

Expert
@martinescardo

Professor of Theoretical Computer Science

www.cs.bham.ac.uk/~mhe/

HoTTEST-Summer-School. HoTTEST Summer School materials

335

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

284

HoTT-UF-Agda-Lecture-Notes. Lecture notes on univalent foundations of mathematics with Agda

235

EffectfulForcing. Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical Computer Science 01/2013, volume 298, pages 119-141.

11

ExactRealNumberComputationInHaskell. Exact real number computation in Haskell using infinite lists of signed binary digits

7

hott-notes. 15-819 (Homotopy Type Theory) Lecture Notes

3

cubical. Agda

1

martinescardo.github.io. Intituitional web link redirects to this page now

1
8
Apply