Search for dissertations about: "formalization"
Showing result 1 - 5 of 67 swedish dissertations containing the word formalization.
-
1. A Proof and Formalization of the Initiality Conjecture of Dependent Type Theory
Abstract : In this licentiate thesis we present a proof of the initiality conjecture for Martin-Löf’s type theory with 0, 1, N, A+B, ∏AB, ∑AB, IdA(u,v), countable hierarchy of universes (Ui)iєN closed under these type constructors and with type of elements (ELi(a))iєN. We employ the categorical semantics of contextual categories. READ MORE
-
2. Formalization in high-technology ventures
Abstract : This thesis investigates organizational formalization within the context of young Swedish high-technology ventures. The research provides four longitudinal case studies which approach the formalization process in vivo through multiple actor engagement, including a retrospect understanding of the initial development. READ MORE
-
3. Outside the Law : An Ethnographic Study of Street Vendors in Bogotá
Abstract : Millions of people worldwide work outside the law as street vendors in order to earn a living. However, they often work in fear of police evictions and confiscations since their work is in many places considered illegal. READ MORE
-
4. Caught Between Spaces : Socio-Environmental Vulnerability in Formal and Informal Peri-Urban Bogotá and Soacha, Colombia
Abstract : The world is rapidly urbanizing. To contribute to the understanding of the socio-environmental changes brought about by urban sprawl and densification, this thesis examines wellbeing and vulnerability in low-income peri-urban areas in and around Bogotá, Colombia. READ MORE
-
5. Bureaucracy, Informality and Taxation : Essays in Development Economics and Public Finance
Abstract : This thesis consists of three self-contained essays.Essay 1, "Dispatchers", is a study of a specialized service sector that has arisen in many developing countries.It is a well-established fact that the government bureaucracy in many developing countries is large, difficult to understand, non-transparent and time-consuming. READ MORE