gylterud
Håkon Robbestad Gylterud
Professor in Type Theory
Bergen

Following (19)

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

Followers (15)

chobbes
Calvin Beck
acme_jack
Jacques
elibon
Elisabeth Bonnevier
mikbar
Mikhail Barash
siben
bchetioui
tamttruong
Tam Truong
crcrcr
Christophe
jonaprieto
Jonathan Prieto-Cubides
staalezh
johnmimo
John Modin

Browse others (15)

lionessrampant
The Lioness Rampant
o_partridge
Oscar Partridge
metadaddy
Pat Patterson
orlandoojmd
Orlando Martinex
abewaje2
Adenike
briandzt
Zengtian Deng