Sökning: "Coinduction"

Hittade 4 avhandlingar innehållade ordet Coinduction.

  1. 1. Theory Exploration for Programs and Proofs

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

    Sammanfattning : 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. LÄS MER

  3. 2. Guarded Recursive Types in Type Theory

    Författare :Andrea Vezzosi; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; sized types; induction; coinduction; type theory; totality; guarded types; Agda;

    Sammanfattning : 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. LÄS MER

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

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

    Sammanfattning : 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. LÄS MER

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

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

    Sammanfattning : 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. LÄS MER