Polymorphic Π1 Types and a Simple Approach to Propositions, Types and Sets Ivar Rummelhoff Publication details Publisher: Unipub forlag Series: Series of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo. (600) Year: 2007 Issue: 600 Ivar Rummelhoff Senior Research Scientist You are here: Home Publications Doctor dissertat Polymorphic Π1 Types and a Simple Approach to Propositions, Types and Sets