Sökning: "formalization"

Visar resultat 1 - 5 av 51 avhandlingar innehållade ordet formalization.

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

    Detta är en avhandling från Stockholm : Department of Mathematics, Stockholm University

    Författare :Menno de Boer; Peter LeFanu Lumsdaine; Alexander Berglund; Bas Spitters; [2020]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Dependent type theory; Category theory; Contextual categories; Initiality; Formalization; matematik; Mathematics; matematisk logik; Mathematical Logic;

    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. 2. Outside the Law : An Ethnographic Study of Street Vendors in Bogotá

    Detta är en avhandling från Stockholm : Department of Mathematics, Stockholm University

    Författare :Ana Maria Vargas Falla; [2016]
    Nyckelord :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;

    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

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

    Detta är en avhandling från Lund University

    Författare :Sandra Valencia; [2016]
    Nyckelord :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;

    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

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

    Detta är en avhandling från Stockholm : Department of Economics, Stockholm University

    Författare :Anders Fredriksson; Stockholms universitet.; [2009]
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Bureaucracy; Informality; Taxation; Corruption; Red tape; Investment; Formalization; Laffer effects; SOCIAL SCIENCES Business and economics Economics; SAMHÄLLSVETENSKAP Ekonomi Nationalekonomi; Economics; nationalekonomi;

    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

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

    Detta är en avhandling från Department of Economics, Lund Universtiy

    Författare :Fredrik Hansen; [2006]
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER