Search for dissertations about: "sized types"

Showing result 1 - 5 of 127 swedish dissertations containing the words sized types.

  1. 1. On Induction, Coinduction and Equality in Martin-Löf and Homotopy Type Theory

    Author : Andrea Vezzosi; Chalmers University of Technology; []
    Keywords : NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; NATURAL SCIENCES; Conversion; Parametricity; Higher Inductive Types; Sized Types; Dependent Types; Type Theory; Guarded Types;

    Abstract : Martin Löf Type Theory, having put computation at the center of logical reasoning, has been shown to be an effective foundation for proof assistants, with applications both in computer science and constructive mathematics. One ambition though is for MLTT to also double as a practical general purpose programming language. READ MORE

  2. 2. Guarded Recursive Types in Type Theory

    Author : Andrea Vezzosi; Chalmers University of Technology; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; sized types; induction; coinduction; type theory; totality; guarded types; Agda;

    Abstract : In total functional (co)programming valid programs are guaranteed to always produce (part of) their output in a finite number of steps.Enforcing this property while not sacrificing expressivity has beenchallenging. READ MORE

  3. 3. Puzzling out the choice of capital budgeting techniques : among high-growth small and medium sized firms

    Author : Zahida Sarwary; Timurs Umans; Högskolan Kristianstad; []
    Keywords : SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Capital budgeting techniques; decision making; strategic investments; theory-practice gap; practice-theory gap; SMEs; First North;

    Abstract : The aim of this dissertation is to explore the drivers of practitioners’ choices of capital budgeting techniques(CBT). The mainstream literature suggests that sophisticated CBT (SCBT) will best guide organizations inevaluating important strategic investments. READ MORE

  4. 4. Industrial design : rapid tooling for small and medium sized enterprises

    Author : Anders Håkansson; Luleå tekniska universitet; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Industrial Design; Industriell design;

    Abstract : This licentiate thesis combines three different topics, the small business environment, industrial design and rapid tooling. Smaller companies often suffer from lack of resources in many ways and since most theoretical product development methods are formulated for larger companies, this is a problem. READ MORE

  5. 5. Characterization of Different Interface Types for HVDC Extruded Cable Applications

    Author : Espen Doedens; Chalmers University of Technology; []
    Keywords : TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; ENGINEERING AND TECHNOLOGY; polymer surfaces; cable peelings; HVDC; Roughness; Charge injection; XLPE; Field enhancement factors; Schottky injection; DC breakdown; Voltage decay; interfaces; Fowler-Nordheim injection; extruded cable; Roughness assisted charge injection.; Charge decay;

    Abstract : In extruded HVDC cable systems a variety of interface types can be found, and the interfacial properties depend on the application within the system. Such applications can be joints, terminations or the cable itself and they will all have different material combinations and manufacturing methods. READ MORE