Sökning: "Formalization"
Visar resultat 1 - 5 av 72 avhandlingar innehållade ordet Formalization.
1. A Proof and Formalization of the Initiality Conjecture of Dependent Type Theory
Sammanfattning : 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. LÄS MER
2. Formalization in high-technology ventures
Sammanfattning : 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. LÄS MER
3. Outside the Law : An Ethnographic Study of Street Vendors in Bogotá
Sammanfattning : 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. LÄS MER
4. Caught Between Spaces : Socio-Environmental Vulnerability in Formal and Informal Peri-Urban Bogotá and Soacha, Colombia
Sammanfattning : 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. LÄS MER
5. Bureaucracy, Informality and Taxation : Essays in Development Economics and Public Finance
Sammanfattning : 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. LÄS MER