Search for dissertations about: "recursion theory"

Showing result 1 - 5 of 25 swedish dissertations containing the words recursion theory.

2. 1. General Recursion in Type Theory

   Author : Ana Bove; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : This thesis deals with the use of constructive type theory as a programming language. In particular, it presents a method to translate general recursive functional programs into their type-theoretic equivalents. A key notion in functional programming is recursion, which allows that the object being defined refers to itself. READ MORE

4. 2. Normative Recursion : on Recursive Grounding and the Capacity for Radical Critique in Formal Pragmatics, Recognition, Social Freedom and Justification

   Author : Jakob Strandgaard; Statsvetenskapliga institutionen; []
   Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Formal Pragmatics; Recognition; Social Freedom; Justification; Recursion; Normative Validity Surplus; Critique; Reconstruction; Normative Foundations; Jürgen Habermas; Axel Honneth; Rainer Forst;

   Abstract : This thesis explores the meta-ethical question: What properties would be required of a normative critical concept in order for it to be (a) derived from the social facticity of prevailing norms, practices and institutions in a given society and (b) still be capable of informing radical critique? This thesis takes radical critique to mean one that escapes all charges of status quo biases and thus truly transcends the immanent content of the norms, practices and institutions from which it was derived.This thesis asserts that the necessary property of such a concept is recursion. READ MORE

5. 3. Theory Exploration for Programs and Proofs

   Author : Sólrún Einarsdóttir; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Theorem Proving; Automated Reasoning; Theory Exploration; Property-Based Testing; Functional Programming; Conjecture Generation; Artificial Intelligence; Coinduction;

   Abstract : We have built two theory exploration systems, Cohipster and RoughSpec . Theory exploration is a method of automatically conjecturing properties about the functions and structures that appear in a computer program or a formalization of a mathematical theory. READ MORE

6. 4. Guarded Recursive Types in Type Theory

   Author : Andrea Vezzosi; Chalmers tekniska högskola; []
   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

7. 5. Multiplet bases, recursion relations and full color parton showers

   Author : Johan Thorén; Teoretisk partikelfysik - Geonomgår omorganisation; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; QCD; Multiplet Bases; SU Nc ; SU N ; Recursion Relations; BCFW; Nc=3 Parton Showers; Parton Showers;

   Abstract : The papers in this thesis all concern the treatment of colors in perturbative QCD, both in the context of hard scattering cross sections and for parton showers. The complexity of the color structure of QCD increases quickly with the number of external partons. READ MORE