Search for dissertations about: "coinduction"

Found 4 swedish dissertations containing the word coinduction.

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

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

  3. 3. On Induction, Coinduction and Equality in Martin-Löf and Homotopy Type Theory

    Author : Andrea Vezzosi; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Conversion; Parametricity; Higher Inductive Types; Sized Types; Dependent Types; Type Theory; Guarded Types;

    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

  4. 4. Postoperative nausea and vomiting in women : an unglamorous aspect of anaesthesia

    Author : Eva Oddby Muhrbeck; Karolinska Institutet; Karolinska Institutet; []
    Keywords : Anaesthesia; blood glucose; clonidine; epinephrine; pathophysiology; platelet count; postoperative nausea and vomiting; serotonin; therapeutic suggestion; vasopressin; women.;

    Abstract : Postoperative nausea and vomiting (PONY) still remains a common and undesirable side effect of anaesthesia. Women are afflicted by PONY two to three times more often than men and a substantial number of patients consider PONV to be the worst part of the entire surgical procedure. READ MORE