Sökning: "syntactic theory"

Visar resultat 1 - 5 av 37 avhandlingar innehållade orden syntactic theory.

  1. 1. Guarded Recursive Types in Type Theory

    Författare :Andrea Vezzosi; Chalmers University of Technology; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; sized types; induction; coinduction; type theory; totality; guarded types; Agda;

    Sammanfattning : 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. LÄS MER

  2. 2. General Recursion in Type Theory

    Författare :Ana Bove; Chalmers University of Technology; []
    Nyckelord :;

    Sammanfattning : 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. LÄS MER

  3. 3. An inquiry into Minimalist phrase structure

    Författare :Jonathan White; Högskolan Dalarna; []
    Nyckelord :phrase structure; syntax; syntactic theory; the Minimalist program; result clauses; circumstance adjuncts;

    Sammanfattning : 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. LÄS MER

  4. 4. A parametric grammar of Seediq

    Författare :Arthur Holmer; Allmän språkvetenskap; []
    Nyckelord :HUMANIORA; HUMANITIES; 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;

    Sammanfattning : 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. LÄS MER

  5. 5. Motivación, aptitud y desarrollo estructural : Un estudio sobre la actuación lingüística en aprendientes suecos de español L2

    Författare :Rakel Österberg; Lars Fant; Inge Bartning; Carmen Muñoz; Stockholms universitet; []
    Nyckelord :HUMANITIES; HUMANIORA; HUMANIORA; HUMANITIES; Analytic ability; accuracy; aptitude; development; individual differences; intrinsic and extrinsic motivation; lexical richness; proficiency; second language acquisition; spoken Spanish performance; syntactic complexity; self-regulation theory; Spanish language; Spanska språket; Spanish; spanska;

    Sammanfattning : The aim of the present study is to examine how the development of syntactic complexity and accuracy in spoken Spanish L2 is related to two parameters, motivation and aptitude, in which individual differences are often claimed to correlate with successful second language learning (Dörnyei and Skehan 2003). The study shows how an understanding of the relationship between progression in second language proficiency and motivation is gained through the study of longitudinal data and the assessment of motivation in discourse. LÄS MER