Tietojenkäsittelytieteen laitos
Tietojenkäsittelytieteen laitos vastaa tietojenkäsittelytieteen opetuksesta ja tutkimuksesta Helsingin yliopistossa.
Helsingin Yliopisto
Matemaattis-luonnontieteellinen tiedekunta
Hae tältä sivustolta:
Suomi
English
Etusivu
Tutkimus
Opiskelu
Opiskelijaksi
Alumnit
Hallinto
Tietotekniikka
Henkilöstö
Yhteystiedot
582655
Formal Type Theory
Formal Type Theory
Formal Type Theory
Toistuminen
Ei määritelty
