Sökning: "Formalization"

Visar resultat 1 - 5 av 72 avhandlingar innehållade ordet Formalization.

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

    Författare :Menno de Boer; Peter LeFanu Lumsdaine; Alexander Berglund; Bas Spitters; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Dependent type theory; Category theory; Contextual categories; Initiality; Formalization; Mathematics; matematik; 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

  3. 2. Formalization in high-technology ventures

    Författare :Ingela Sölvell; Handelshögskolan i Stockholm; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES;

    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

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

    Författare :Ana Maria Vargas Falla; Rättssociologiska institutionen; []
    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

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

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

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

    Författare :Anders Fredriksson; Jakob Svensson; Ragnar Torvik; Stockholms universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Bureaucracy; Informality; Taxation; Corruption; Red tape; Investment; Formalization; Laffer effects; Economics; 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