Search for dissertations about: "canonicity"

Found 4 swedish dissertations containing the word canonicity.

2. 1. Hamlet the Sign : Russian Translations of Hamlet and Literary Canon Formation

   Author : Aleksei Semenenko; Lars Kleberg; Peter Alberg Jensen; Irena Makaryk; Stockholms universitet; []
   Keywords : HUMANIORA; HUMANITIES; Shakespeare; Hamlet; translation; literary canon formation; semiotics; canonicity; textuality; microcanon; genre; myth; sign; Slavic languages; Slaviska språk; slaviska språk; Slavic Languages;

   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

4. 2. 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

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

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

   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

6. 4. We Call upon the Author : Contemporary Biofiction and Fyodor Dostoevsky

   Author : Henrik Christensen; Elisabeth Wåghäll Nivre; Jørgen Bruhn; Susanna Witt; Frederick White; Stockholms universitet; []
   Keywords : HUMANIORA; HUMANITIES; HUMANIORA; HUMANITIES; HUMANIORA; HUMANITIES; HUMANIORA; HUMANITIES; Biofiction; contemporary biofiction; Fyodor Dostoevsky; biopic; biographical novel; intermediality; transmediality; Zarkhi; Tsypkin; Coetzee; Vapnyar; Khotinenko; différance; ideology; gender; post-colonialism; hyperreality; phenomenology; ethics; slaviska språk; Slavic Languages;

   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