Proof and Computation autumn school lecturer: "Universes of data types in constructive type theory"

Activity: Talk or presentation types › Invited talk

Period26 Sept 2022 → 1 Oct 2022
Event titleAutumn school "Proof and Computation"
Event typeOther
Conference number2022
LocationMunich, Germany, BavariaShow on map
Degree of RecognitionInternational