martinescardo/HoTTEST-Summer-School

Stars
288
Rank 143,818 (Top 3 %)
Language
TeX
Created over 2 years ago
Updated about 1 year ago

martinescardo/HoTTEST-Summer-School

martinescardo

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

HoTTEST Summer School materials

HoTTEST Summer School 2022

School webpage at UWO, including instructors, colloquium speakers, teaching assistants, organizers, and more.
Agda lecture notes and exercises
HoTT lecture notes and exercises

Additional resources

TypeTopology

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

HoTT-UF-Agda-Lecture-Notes

Lecture notes on univalent foundations of mathematics with Agda

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.