Search for dissertations about: "Formalization"

Showing result 1 - 5 of 51 swedish dissertations containing the word Formalization.

  1. 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 : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Dependent type theory; Category theory; Contextual categories; Initiality; Formalization; matematik; Mathematics; 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

  2. 2. 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

  3. 3. 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; 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

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

    Author : Anders Fredriksson; Jakob Svensson; Ragnar Torvik; Stockholms universitet; []
    Keywords : SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; 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

  5. 5. Explorations in Behavioral Economics: Realism, Ontology and Experiments

    Author : Fredrik Hansen; Nationalekonomiska institutionen; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; economic policy; Nationalekonomi; Behavioral Economics; economic theory; econometrics; Economics; Laypeople; Financial Decision-Making; Formalization; Bounded Rationality; Experimental Economics; Meta-Theoretical Analysis; Economic Methodology; Ontology; ekonometri; ekonomisk teori; ekonomiska system; ekonomisk politik; economic systems; Realism;

    Abstract : This thesis explores Behavioral Economics in terms of realism, ontology and experiments. In the introductory chapter descriptions of "Behavioral Economics", "realism" and "ontology" are offered. READ MORE