Search for dissertations about: "type theory"
Showing result 11 - 15 of 1005 swedish dissertations containing the words type theory.
-
11. String Theory at the Horizon : Quantum Aspects of Black Holes and Cosmology
Abstract : String theory is a unified framework for general relativity and quantum mechanics, thus being a theory of quantum gravity. In this thesis we discuss various aspects of quantum gravity for particular systems, having in common the existence of horizons. READ MORE
-
12. Dualities, Symmetries and Unbroken Phases in String Theory : Probing the Composite Nature of the String
Abstract : The thesis treats aspects of string/M-theory in anti-de Sitter spacetimes and their supersymmetric completions. By applying the AdS/CFT correspondence, as well as models of spin chains and singletons, we try to attain a better understanding of the underlying symmetries and the unbroken phases of string/M-theory. READ MORE
-
13. General Recursion in Type Theory
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
-
14. Aspects of Yang-Mills Theory : Solitons, Dualities and Spin Chains
Abstract : One of the still big problems in the Standard Model of particle physics is the problem of confinement. Quarks or other coloured particles have never been observed in isolation. Quarks are only observed in colour neutral bound states. The strong interactions are described using a Yang-Mills theory. READ MORE
-
15. A Proof and Formalization of the Initiality Conjecture of Dependent Type Theory
Abstract : In this licentiate thesis we present a proof of the initiality conjecture for Martin-Löf’s type theory with 0, 1, N, A+B, ∏AB, ∑AB, IdA(u,v), countable hierarchy of universes (Ui)iєN closed under these type constructors and with type of elements (ELi(a))iєN. We employ the categorical semantics of contextual categories. READ MORE