Search for dissertations about: "dependent types"

Showing result 11 - 15 of 990 swedish dissertations containing the words dependent types.

  2. 11. Cubical Intepretations of Type Theory

    Author : Simon Huber; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Dependent Type Theory; Univalence Axiom; Models of Type Theory; Identity Types; Cubical Sets;

    Abstract : The interpretation of types in intensional Martin-Löf type theory as spaces and their equalities as paths leads to a surprising new view on the identity type: not only are higher-dimensional equalities explained as homotopies, this view also is compatible with Voevodsky's univalence axiom which explains equality for type-theoretic universes as homotopy equivalences, and formally allows to identify isomorphic structures, a principle often informally used despite its incompatibility with set theory. While this interpretation in homotopy theory as well as the univalence axiom can be justified using a model of type theory in Kan simplicial sets, this model can, however, not be used to explain univalence computationally due to its inherent use of classical logic. READ MORE

  4. 12. Dependent Type Theory with Parameterized First-Order Data Types and Well-Founded Recursion

    Author : David Wahlstedt; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

    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

  5. 13. Testing and Proving in Dependent Type Theory

    Author : Qiao Haiyan; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : We show how random testing, model checking and interactive proving can be combined for functional program verification in dependent type theory. We extend the proof assistant Agda/Alfa for dependent type theory with a tool for random testing of functional programs, thus combining proving and testing in one system. READ MORE

  6. 14. Aβ Conformation Dependent Antibodies and Alzheimer's Disease

    Author : Dag Sehlin; Lars Lannfelt; Frida Ekholm Pettersson; David Teplow; Uppsala universitet; []
    Keywords : Alzheimer s disease; amyloid-beta; protofibrils; conformation; monoclonal antibody; ELISA; MEDICINE; MEDICIN; Geriatrics; Geriatrik;

    Abstract : Soluble intermediates of the amyloid-β (Aβ) aggregation process are suggested to play a central role in the pathogenesis of Alzheimer’s disease (AD) by causing synaptic dysfunction and neuronal loss. In this thesis, soluble Aβ aggregates have been studied with a particular focus on the Aβ protofibril, which has served as the antigen for developing conformation dependent monoclonal antibodies. READ MORE

  7. 15. Voltage-dependent anion channels (VDAC) in the plasma membrane induce apoptosis

    Author : Nesar Akanda; Fredrik Elinder; Tuula Jalonen; Linköpings universitet; []
    Keywords : LANTBRUKSVETENSKAPER; AGRICULTURAL SCIENCES; Physiology; Apoptosis; Cell membrane; Hippocampus; Membrane potentials; Neurons; Voltage-dependent anion channels; Medicine; Medicin;

    Abstract : Apoptosis, or programmed cell death, is essential for proper development and functioning of the body systems. During development, apoptosis plays a central role to sculpt the embryo, and in adults, to maintain tissue homeostasis by eliminating redundant, damaged or effete cells. Therefore, a tight regulation of this process is essential. READ MORE