Search for dissertations about: "recursion theory"

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

  1. 1. General Recursion in Type Theory

    Author : Ana Bove; Chalmers University of Technology; []
    Keywords : ;

    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

  2. 2. Designing Intranets for Viability : Approaching Organizational Empowerment and Participation

    Author : Christina Amcoff Nyström; Stig C Holmberg; Louise Yngström; Umeå universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; Informatics; computer and systems science; Intranet design; Viable System Model; Empowerment; Democracy; Autonomy; Recursion; Viability; Participation; Informatik; data- och systemvetenskap; Informatics; computer and systems science; Informatik; data- och systemvetenskap; computer and systems sciences; data- och systemvetenskap; empowerment; democracy; autonomy; recursion; viability; participation;

    Abstract : Intranets appeared in the mid-1990s and were perceived as the answer to the need for the integration of existing Information Systems into organisations. Despite the fact that there has been extensive research regarding implementation, development processes, policies standardisation vs. READ MORE

  3. 3. 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; 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

  4. 4. 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

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

    Author : Johan Thorén; Teoretisk partikelfysik; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; 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