Search for dissertations about: "sized types"
Showing result 1 - 5 of 145 swedish dissertations containing the words sized types.
-
1. On Induction, Coinduction and Equality in Martin-Löf and Homotopy Type Theory
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. Guarded Recursive Types in Type Theory
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. Puzzling out the choice of capital budgeting techniques : among high-growth small and medium sized firms
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. Industrial design : rapid tooling for small and medium sized enterprises
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. Characterization of Different Interface Types for HVDC Extruded Cable Applications
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