Sökning: "Erik Wilander"
Hittade 2 avhandlingar innehållade orden Erik Wilander.
1. On Constructive Sets and Partial Structures
Sammanfattning : 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. LÄS MER
2. Significance of Human Papillomavirus (HPV) Analysis for the Detection of Precancerous Cervical Lesions : Impact of Self Sampling
Sammanfattning : Cervical cancer is the second most common cancer, with about 500 000 new cases per year among women worldwide. With a well-organized screening programme the number of cases can be reduced by more than 50%. In spite of having such a screening programme there are still around 450 new cases yearly in Sweden. LÄS MER