Hjem
Institutt for informatikk

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