Search for dissertations about: "Olov Wilander"
Found 1 swedish dissertation containing the words Olov Wilander.
-
1. On Constructive Sets and Partial Structures
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
Result pages:
1