Functionals of finite types - bridging logic and computer science

30^th April 2009, 16:00
Prof Dag Normann
Department of Mathematics, University of Oslo, Norway