Search for dissertations about: "canonicity"
Found 4 swedish dissertations containing the word canonicity.
-
1. Hamlet the Sign : Russian Translations of Hamlet and Literary Canon Formation
Abstract : This work is an attempt to answer one simple question: What is Hamlet? Based on the material of Hamlet translations into Russian, the dissertation scrutinizes the problems of literary canon formation, translation and textuality proceeding in two parallel directions: the historical analysis of canon formation in translation and the conceptualization of Hamlet’s textuality. The methodological framework is defined in the context of Jurij Lotman’s semiotics of culture, which is invaluable for an understanding of the mechanisms of literary evolution, the theory of translation and literary canon formation. READ MORE
-
2. Cubical Intepretations of Type Theory
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
-
3. 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
-
4. We Call upon the Author : Contemporary Biofiction and Fyodor Dostoevsky
Abstract : This thesis studies fictional representations of Fyodor Dostoevsky in contemporary biofiction. The aim of the study is to present an intermedial theoretical framework for biofiction, a genre defined as fictional biographical and often metafictional narratives in which a biographical subject serves as the focal point for the story or plays a role integral to the narrative. READ MORE