2001

Doctoral dissertations

2007

Rummelhoff, Ivar. Polymorphic Π1 Types and a Simple Approach to Propositions, Types and Sets. : Series of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo (ISSN 1501-7710). (600). pp 196. 2007.