Prøveforelesning: Ivar Rummelhoff

cand. scient. Ivar Rummelhoff ved Matematisk institutt avholder prøveforelesning over oppgitt emne: The use of logical relations in type theory

Tid og sted: , Møterommet 12. etg. Niels Henrik Abels hus

Disputas

Se disputas

Kontaktperson

For mer informasjon, kontakt Yngvar Reichelt.

Publisert 11. apr. 2012 11:33
Del på e-post