Current Research Information SysTem In Norway
 
 

 English version


 
Hovedside
Forskningsresultater/NVI
Forskere
Prosjekter
Forskningsenheter
Logg inn
Om Cristin
 
 
   



Håkon Robbestad Gylterud

Institutt for informatikk (Førsteamanuensis) - Universitetet i Bergen

Kontaktinfo


Universitetet i Bergen

E-post

Annet

Privat e-post

Vitenskapsdisipliner

Logikk

Teoretisk databehandling, programmeringsspråk og -teori

Emner

Programmeringsspråk

Typeteori


Prosjekter