It is the aim of this paper to advocate the use of functor categories as a semantic foundation of higher-order abstract syntax (HOAS). By way of example, we will show how functor categories can be used for at least the following applications: relating first-order and higher-order abstract syntax (proofs of adequacy) without using reduction rules, justifying induction principles and other axioms...

Syntax is the cognitive capacity of human beings that allows us to connect linguistic meaning with linguistic form. The study of syntax is a huge field that has generated a great deal of empirical and theoretical work over the decades. This article outlines why understanding our syntactic capacity is important to cognitive science in general and why the data of syntactic research is to be taken...

recent research in the area of second language acquisition has proposed that bilinguals and l2 learners show syntactic indeterminacy when syntactic properties interface with other cognitive domains. most of the research in this area has focused on the pragmatic use of syntactic properties while the investigation of compliance with a grammatical rule at syntax-related interfaces has not received...

objectives: word definitional skills (wdss) were classified according to the quality of both semantic content and syntactic form. the aim of the present study was to investigate the syntactic development in wdss in typically developing school- age children. methods: in this cross-sectional and descriptive-analytical study,  150 of typically developing school-age children participated by the  mu...

in recent years, space syntax theory has been used for analyzing spatial configurations; these analyses mostly focus on social aspects. according to the space syntax theory, space arrangements affect the space usage in buildings. this paper aims at studying spatial configurations of some traditional houses in iran in terms of flexibility factor. besides of having the housing function and provid...