Sökning: "Agda"

Visar resultat 6 - 10 av 27 uppsatser innehållade ordet Agda.

  1. 6. Formalisation of Polynomials in Cubical Type Theory Using Cubical Agda

    Kandidat-uppsats, Stockholms universitet/Matematiska institutionen

    Författare :Carl Åkerman Rydbeck; [2022]
    Nyckelord :;

    Sammanfattning : We formalise polynomials over commutative rings in cubical type theory using Cubical Agda as proof assistant. On the basis of a formalisation of polynomials as number sequences with only a finite number of non-zero values, we use higher inductive types to formulate a list-based definition using two point constructors and two path constructors. LÄS MER

  3. 7. Avslöjandet av negativ information i förhållande till företagsspecifika faktorer : En kvantitativ innehållsanalys på statligt ägda bolag i Sverige

    Kandidat-uppsats, Södertörns högskola/Institutionen för samhällsvetenskaper

    Författare :Sara Fejes; Aleksandra Nikolova; [2021]
    Nyckelord :State-Owned Enterprises; Sustainability Report; Disclosure of Negative Information; Content Analysis; Balance; Transparency; Legitimacy Theory; Stakeholders’ Theory; Statligt Ägda Bolag; Hållbarhetsredovisning; Avslöjande av Negativ Information; Kvantitativ Innehållsanalys; Balans; Transparens; Legitimitetsteorin; Intressentteorin;

    Sammanfattning : Statligt ägda bolag ska sedan 2007 hållbarhetsrapportera i enlighet med GRI eller annat internationellt ramverk. Detta för att öka bolagens transparens för dess intressenter och samhället. LÄS MER

  4. 8. Formalizing domain models of the typed and the untyped lambda calculus in Agda

    Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :David Lidell; [2020-12-17]
    Nyckelord :Agda; categories with families; domain interpretation; lambda calculus; sized types;

    Sammanfattning : We present a domain interpretation of the simply typed and the untyped lambda calculus. The interpretations are constructed using the notion of category with families, with added structure. LÄS MER

  5. 9. Hållbarhetsredovisning : En studie om frivillig hållbarhetsredovisning och lagstiftningens påverkan

    Kandidat-uppsats, Högskolan i Gävle/Företagsekonomi

    Författare :Hanna Dahlin; Emmy Klason; [2020]
    Nyckelord :Corporate sustainability reporting; regulation; voluntary accounting; financial risk; profitability; size; industry; Hållbarhetsredovisning; reglering; frivillig redovisning; finansiell risk; lönsamhet; storlek; bransch;

    Sammanfattning : Syfte: Syftet med denna studie är att undersöka om införandet av lag (SFS 2016:947) påverkat omfattningen av företags hållbarhetsredovisning och om faktorerna finansiell risk, lönsamhet, storlek och bransch kan förklara frivillig hållbarhetsredovisning. Metod: Studien utgår från den positivistiska forskningsfilosfin och med ett deduktivt angreppssätt. LÄS MER

  7. 10. Assessing the Operational Value Creation by the Private Equity Industry in the Nordics

    Kandidat-uppsats, KTH/Matematisk statistik

    Författare :Adam Wuilmart; Erik Harrysson; [2020]
    Nyckelord :Private Equity; Operational Value Creation; Linear Regression; Nordic Market; EBIT Margin; Operational Efficiency; Management; Industrial Engineering; Turnaround; Applied mathematics; Riskkapital; Private Equity; Operationell effektivitet; Linjär regression; Operationellt värdeskapande; Nordiska marknaden; EBIT-marginal; Management; Tillämpad matematik; Industriell ekonomi;

    Sammanfattning : More and more capital is being directed towards the private equity industry. As a result, private equity owned firms make up an increasingly large share of the economy. Therefore, it is becoming more important to understand the nature of how the operational performance of firms change under private equity ownership. LÄS MER