Search for dissertations about: "type theory"
Showing result 21 - 25 of 1005 swedish dissertations containing the words type theory.
-
21. Optimisation of Clinical Trials using Bayesian Decision Theory
Abstract : A decision maker confronted with the task of designing a clinical trial has to consider a multitude of aspects. Large trials lead to more evidence,which in turn makes it less likely that harmful decisions are taken when deciding on future treatments for patients. READ MORE
-
22. Multiconfigurational perturbation theory
Abstract : The aim of the thesis is to analyze a method which describes the electron correlation in atoms and molecules. The method is based on Rayleigh-Schrödinger perturbation theory with a partitioning of the Hamiltonian into a fairly simple zeroth-order operator and a perturbation operator. READ MORE
-
23. On Induction, Coinduction and Equality in Martin-Löf and Homotopy Type Theory
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
-
24. Exact completion and type-theoretic structures
Abstract : This thesis consists of four papers and is a contribution to the study of representations of extensional properties in intensional type theories using, mainly, the language and tools from category theory. Our main focus is on exact completions of categories with weak finite limits as a category-theoretic description of the setoid construction in Martin-Löf's intensional type theory. READ MORE
-
25. Vacua in String Theory : de Sitter Space and Stability in Flux Compactifications
Abstract : Our understanding of cosmology has evolved radically in the last decades. Current models demand the presence of dark energy in our universe and the most favored candidate behind this component is a small positive cosmological constant that characterizes a de Sitter (dS) spacetime. READ MORE