Search for dissertations about: "Curry"
Found 4 swedish dissertations containing the word Curry.
-
1. Management Accounting Above and Under Ground : Field Studies of Operations Managers’ Everyday Work
Abstract : This thesis concerns operations managers who are required to adhere to both management accounting and operational concerns in their everyday operational work. The question addressed in this thesis is how management accounting is implicated in the everyday operational work of operations managers and their team members in production environments. READ MORE
-
2. Design of Thermal Barrier Coating Systems
Abstract : Thermal barrier coatings (TBC’s) are used to provide both thermal insulation and oxidation protection to high temperature components within gas turbines. The development of turbines for power generation and aviation has led to designs where the operation conditions exceed the upper limits of most conventional engineering materials. READ MORE
-
3. Design of Thermal Barrier Coatings
Abstract : Thermal barrier coatings (TBC’s) are used to provide both thermal insulation and oxidation protection to high temperature components within gas turbines. The development of turbines for power generation and aviation has led to designs where the operation conditions exceed the upper limits of most conventional engineering materials. READ MORE
-
4. A Type Theoretical Analysis of Some Aspects of Programming Languages
Abstract : We present three papers on the application of Martin-Löf's type theory to the analysis of programming languages. In the first paper, we present formal proofs in type theory of the combinatorial completeness of two calculi of combinators. The statement formulates the ability of the calculi to describe functions. READ MORE