gylterud
Håkon Robbestad Gylterud
Associate professor in Type Theory
Bergen

Following (19)

jonaprieto
Jonathan Prieto-Cubides
oyvinin
elibon
Elisabeth Bonnevier
hjertnes
Eivind Hjertnes
andreasnes
Andreas Næs
hanneper
Hanne Robbestad
pider
Per Gylterud
mikbar
Mikhail Barash
siben
bchetioui
tamttruong
Tam Truong

Followers (13)

elibon
Elisabeth Bonnevier
mikbar
Mikhail Barash
siben
bchetioui
tamttruong
Tam Truong
crcrcr
Christophe
jonaprieto
Jonathan Prieto-Cubides
staalezh
johnmimo
John Modin
matemateachka
ingridrg
Ingrid Robbestad Gylterud

Browse others (15)

laragutierrez
Lara Gutierrez
louisoliver
Louis Oliver
mikayalrison
Mikayal Rison
artemiy
Abraun
numberwhun
Jefferson Kirkland
simeonk
Simeon Kakpovi
bwman
Brian
malatas
Yakunina Yusta
qgriffiths
Kacper Gorska
jani229xma
Jani Magelssen