Disputas - Andrew Polonsky
Hovedinnhold
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
23.12.2010