Disputation - Andrew Polonsky
MSc Andrew Polonsky will defend his PhD-thesis, Monday 17.th. of January 2011, at 14.15.
Location: Store Auditorium, Høyteknologisenteret, Thormøhlensgate 55.
Title of thesis: Proofs, Types and Lambda Calculus.
Opponent: Prof. Henk Barenregt, Radboud University, The Netherlands
Opponent: Prof. Thierry Coquand, Gøteborgs Universitet, Sweden
Leader: Michal Walicki, Department of Informatics, University of Bergen