Advanced search

Showing result 1 - 5 of 67 swedish dissertations matching the above criteria.

2. 1. A Proof and Formalization of the Initiality Conjecture of Dependent Type Theory

   Author : Menno de Boer; Peter LeFanu Lumsdaine; Alexander Berglund; Bas Spitters; Stockholms universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Dependent type theory; Category theory; Contextual categories; Initiality; Formalization; Mathematics; matematik; matematisk logik; Mathematical Logic;

   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

4. 2. Formalization in high-technology ventures

   Author : Ingela Sölvell; Handelshögskolan i Stockholm; []
   Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES;

   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

5. 3. Outside the Law : An Ethnographic Study of Street Vendors in Bogotá

   Author : Ana Maria Vargas Falla; Rättssociologiska institutionen; []
   Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Social Control; Sociology of Law; Well-being; Street Vendors; Rickshaws; Ethnography; Bogotá; Colombia; Informal Economy; Informal Workers; Formalization; Rule of Law; Legal Empowerment.; Social Norms; Informal Control; Negative Social Capital; Legal Pluralism; Labor Law; social kontroll; rättssociologi; well-being; gatuförsäljare; rickshaws; etnografi; Bogotá; Colombia; informell ekonomi; arbetsliv; formalisering; rättssäkerhet; empowerment; sociala normer; informell kontroll; socialt kapital; juridik; normer; rättspluralism;

   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

6. 4. Caught Between Spaces : Socio-Environmental Vulnerability in Formal and Informal Peri-Urban Bogotá and Soacha, Colombia

   Author : Sandra Valencia; LUCSUS; []
   Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; peri-urban area; urban-rural interface; socio-environmental change; wellbeing; vulnerability; Colombia; Bogotá; Soacha; informality; formalization; political ecology; stadsnära; periurbana områden; periurbanisering; Colombia; formalisering; informell bosättning;

   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

7. 5. Bureaucracy, Informality and Taxation : Essays in Development Economics and Public Finance

   Author : Anders Fredriksson; Jakob Svensson; Ragnar Torvik; Stockholms universitet; []
   Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Bureaucracy; Informality; Taxation; Corruption; Red tape; Investment; Formalization; Laffer effects; Economics; Nationalekonomi; Economics; nationalekonomi;

   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