Department Seminar Series
Functionals of finite types - bridging logic and computer science
30th April 2009, 16:00
Prof Dag Normann
Department of Mathematics, University of Oslo, Norway
Maintained by Othon Michail