Search for dissertations about: "criterion of correctness"
Found 3 swedish dissertations containing the words criterion of correctness.
-
1. F. A. Hayek's Critique of Legislation
Abstract : The dissertation concerns F. A. Hayek’s (1899–1992) critique of legislation. The purpose of the investigation is to clarify and assess that critique. READ MORE
-
2. Eliciting Knowledge from Experts in Modeling of Complex Systems : Managing Variation and Interactions
Abstract : The thematic core of the thesis is about how to manage modeling procedures in real settings. The view taken in this thesis is that modeling is a heuristic tool to outline a problem, often conducted in a context of a larger development process. READ MORE
-
3. Dependent Type Theory with Parameterized First-Order Data Types and Well-Founded Recursion
Abstract : We present a variation of Martin-Löf's logical framework with "beta-iota-equality", extended with first-order parameterized algebraic data types and recursive pattern-matching definitions. Our contribution is a proof of normalization for the proposed system, from which we obtain decidable type-correctness. READ MORE