Search for dissertations about: "Olov Wilander"

Found 1 swedish dissertation containing the words Olov Wilander.

2. 1. On Constructive Sets and Partial Structures

   Author : Olov Wilander; Erik Palmgren; Viggo Stoltenberg-Hansen; Bas Spitters; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Mathematical Logic; Matematisk logik;

   Abstract : The first three papers in this thesis study the formalisation of a set in type theory as a data type with an equivalence relation – an object usually known as a setoid. The corresponding formalisation of a locally small category is called an E-category. READ MORE