Home
Department of Informatics

Disputation - Andrew Polonsky

Main content

 

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