Profiles

Categories, type-theory, logic, agda, constructive, intuitionism, containers, groupoids, programming

Håkon Robbestad Gylterud

Doktorand

View page in English
Arbetar vid Matematiska institutionen
Telefon 08-16 45 43
E-post gylterud@math.su.se
Besöksadress Roslagsv 101, Kräftriket, hus 5-6
Rum 115
Postadress Matematik 106 91 Stockholm

Senast uppdaterad: 16 maj 2017

Bokmärk och dela Tipsa