Search for dissertations about: "syntactic theory"

Showing result 1 - 5 of 24 swedish dissertations containing the words syntactic theory.

  1. 1. Guarded Recursive Types in Type Theory

    Author : Andrea Vezzosi; [2015]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; sized types; induction; coinduction; type theory; totality; guarded types; Agda;

    Abstract : In total functional (co)programming valid programs are guaranteed to always produce (part of) their output in a finite number of steps.Enforcing this property while not sacrificing expressivity has beenchallenging. READ MORE

  2. 2. An inquiry into Minimalist phrase structure

    University dissertation from University College London

    Author : Jonathan White; Högskolan Dalarna.; [1999]
    Keywords : phrase structure; syntax; syntactic theory; the Minimalist program; result clauses; circumstance adjuncts;

    Abstract : This thesis takes as its starting point the proposal in Kayne (1994) that all syntactic structures are underlyingly spec-head-complement, and that they are right-branching. I will investigate this proposal taking data from English degree constructions, namely result clauses and comparatives. READ MORE

  3. 3. A parametric grammar of Seediq

    University dissertation from University College London

    Author : Arthur Holmer; Lunds universitet.; Lund University.; [1996]
    Keywords : HUMANIORA; HUMANITIES; Austronesian; Atayalic; Formosan; Seediq; Sediq; subject-focus; Taiwan; Linguistics; Lingvistik; template; autosegmental phonology; morphophonology; markedness; morphology; word order; parametric variation; Case-theory; syntax; GB theory; voice; agreement; parameters;

    Abstract : Seediq is an Austronesian language spoken in Taiwan. It has several characteristics which are typologically unusual but typical for Austronesian languages. VOS word order, subject-focus (i.e. READ MORE

  4. 4. A Theory of Parametric Polymorphism and an Application

    University dissertation from University College London

    Author : Jean-Philippe Bernardy; [2011]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : This thesis revisits the well-known notion of parametric polymorphismin the light of modern developments in type-theory. Additionally,applications of parametric polymorphism are also presented.The first part of the thesis presents a theoretical investigation ofthe semantics of parametric polymorphism of and within type-theorieswith dependent types. READ MORE

  5. 5. Deflationism A Use-Theoretic Analysis of the Truth-Predicate

    University dissertation from Stockholm : Acta Universitatis Stockholmiensis

    Author : Arvid Båve; Stockholms universitet.; [2006]
    Keywords : HUMANIORA; HUMANITIES; truth; deflationism; disquotationalism; proposition; use-theory; semantics; nominalism; inferentialism; assertibility; that-clause; singular term; Tarski; Horwich; Field; meaning; HUMANITIES and RELIGION History and philosophy subjects Philosophy subjects; HUMANIORA och RELIGIONSVETENSKAP Historisk-filosofiska ämnen Filosofiämnen;

    Abstract : I here develop a specific version of the deflationary theory of truth. I adopt a terminology on which deflationism holds that an exhaustive account of truth is given by the equivalence between truth-ascriptions and de-nominalised (or disquoted) sentences. READ MORE