Home
Department of Informatics

Warning message

There has not been added a translated version of this content. You can either try searching or go to the "area" home page to see if you can find the information there

Disputas - Andrew Polonsky

Main content

 

MSc Andrew Polonsky disputerer for PhD-graden Mandag 17.januar 2011, kl. 14.15.

Sted: Store Auditorium, Høyteknologisenteret, Thormøhlensgate 55.

 

Avhandlingens tittel: Proofs, Types and Lambda Calculus.

 

Opponent: Prof. Henk Barenregt, Radboud University, The Netherlands

Opponent: Prof. Thierry Coquand, Gøteborgs Universitet, Sweden

Leader: Michal Walicki, Institutt for informatikk, Universitetet i Bergen