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)
|
plague69 Plague69 |
|
aront Aron Trauring |
|
|
alexcunico Alex Cunico |
|
mikefox8 Mike Fox |
|
mathiasverraes Mathias Verraes |
|
ningrui Ningrui |
|
eanagel Ethan Nagel |
|
labankalsaszas Goryunov Sysoy |
|
|
klee Androklis Polymenis |
|
cryptoishard cryptoishard |
|
|
hadisaki Hadi Saki |
