Results 1 to 10 of about 2,681 (155)
On Nominal Syntax and Permutation Fixed Points [PDF]
Logical Methods in Computer Science, 2020 We propose a new axiomatisation of the alpha-equivalence relation for nominal terms, based on a primitive notion of fixed-point constraint. We show that the standard freshness relation between atoms and terms can be derived from the more primitive notion
Mauricio Ayala-Rincón +2 more
doaj +5 more sources
A Structural and Nominal Syntax for Diagrams [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 The correspondence between monoidal categories and graphical languages of diagrams has been studied extensively, leading to applications in quantum computing and communication, systems theory, circuit design and more.
Dan R Ghica, Aliaume Lopez
doaj +4 more sources
Nominal morphology and syntax [PDF]
, 2019 One of the quintessential typological properties of the Bantu languages is their pervasive system of noun classes and noun class agreement. This is undoubtedly the aspect of their grammatical structure that is most discussed in the literature, if only because every grammar sketch of a Bantu language contains a section on noun classes. The most complete
Mark Van de Velde
exaly +3 more sources
Relating nominal and higher-order abstract syntax specifications [PDF]
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming, 2010 Nominal abstract syntax and higher-order abstract syntax provide a means for describing binding structure which is higher-level than traditional techniques. These approaches have spawned two different communities which have developed along similar lines but with subtle differences that make them difficult to relate.
Andrew Gacek
exaly +3 more sources
Fresh O'Caml: Nominal Abstract Syntax for the Masses
Electronic Notes in Theoretical Computer Science, 2006 AbstractNominal abstract syntax, as pioneered by the 'FreshML' series of metalanguages, provides first-order tools for the representation and manipulation of syntax involving bound names, binding operations and α-equivalence. Fresh O'Caml fuses nominal abstract syntax with the full Objective Caml language to yield a functional programming language with
exaly +2 more sources
Constraint solving in non-permutative nominal abstract syntax [PDF]
Logical Methods in Computer Science, 2011 Nominal abstract syntax is a popular first-order technique for encoding, and reasoning about, abstract syntax involving binders. Many of its applications involve constraint solving.
Matthew R. Lakin
doaj +1 more source
Labeling, Concord, and Nominal Syntax in Turkish
Languages, 2022 According to Chomsky’s Labeling Algorithm the merger of two phrases, i.e., {XP, YP}, is labeled either via feature sharing between the two elements or by ignoring the lower copies of movement chains. It is not immediately clear, within this approach, how
İsa Kerem Bayırlı
doaj +1 more source
Address inversion in southern Italian dialects
Isogloss, 2022 This article proposes a ‘topological’ reinterpretation of the extended nominal architecture in relation to southern Italo-Romance vocatives with and without allocuzione inversa (‘address inversion’, Renzi 1968), a phenomenon involving the ‘inverse ...
Alice Corr
doaj +1 more source
A dependent nominal type theory [PDF]
Logical Methods in Computer Science, 2012 Nominal abstract syntax is an approach to representing names and binding pioneered by Gabbay and Pitts. So far nominal techniques have mostly been studied using classical logic or model theory, not type theory. Nominal extensions to simple, dependent and
James Cheney
doaj +1 more source
A formal analysis of lip-pointing in Latin-American Spanish
Isogloss, 2016 The present research focuses on the understudied interface between syntax and gesture within the emerging field of the dialectal syntax of Spanish. In particular, a formal analysis of so-called lip-pointing in various Latin-American varieties of Spanish
Ivan Ortega-Santos
doaj +3 more sources