A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
Filters
A syntactic theory of type generativity and sharing
1996
Journal of functional programming
Preserved Fulltext
AbstractThis paper presents a purely syntactic account of type generativity and sharing – two key mechanisms in the SML module system – and shows its equivalence with the traditional stamp-based description ...
This syntactic description recasts the SML module system in a more abstract, type-theoretic framework. ...
Therefore, a theory of type generativity must not go too far and e.g. systematically generate new types for all functor applications. ...
doi:10.1017/s0956796800001933
fatcat:g6bwvox7vbbwrhswei64eai65u
A General Model Transformation Methodology to Serve Enterprise Interoperability Data Sharing Problem
[chapter]
2015
Lecture Notes in Business Information Processing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This paper presents a general model transformation methodology "combining semantic check measurement and syntactic check measurement into refined model transformation processes" and the mechanism of using ...
"Sharing data among heterogeneous partners" is one of the most basic common interoperability problems, which requires a general methodology to serve. ...
With the improvement on some of the details that involved in this GMTM, this methodology may serve to a large number of domains. ...
doi:10.1007/978-3-662-47157-9_2
fatcat:hd4odjdzwfbe3mm4hz5j6swsfe
Structural priming can inform syntactic analyses of partially grammaticalized constructions
2017
Behavioral and Brain Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Branigan & Pickering (B&P) argue successfully that structural priming provides valuable information for developing psychologically plausible syntactic and semantic theories. ...
I then consider cases in which evidence from priming cannot distinguish between competing syntactic analyses. ...
A psychologically plausible theory of syntactic and semantic representation must therefore take into account many different types of evidence, each of which has its own advantages and limitations. ...
doi:10.1017/s0140525x1700036x
pmid:29342713
fatcat:mtljy4wmvvejrjs6bzweurqz4y
INFORMATION-BASED THEORY OF SYNTAX AND SEMANTICS
1996
English Linguistics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Secondly, structure sharing is a general mechanism which comprises more than one type that differ in the type of shared substructure: the one in which the entire SYNSEM value of a sign is shared, the one ...
P&S-94 analyzes both types with a single feature and a principle, employing the mechanism of structure sharing of different sorts. ...
The central mechanism of the theory is structure sharing. ...
doi:10.9793/elsj1984.13.367
fatcat:nqssmakslbd7hld4w4geipyona
Extracting HPSG Lexicon from Arabic VerbNet
2016
Research in Computing Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This paper presents the construction of a HPSG lexicon of Arabic verbal entities, automatically inferred from the Arabic VerbNet, a large coverage verb lexicon where verbs are classified using syntactic ...
Extensive analysis of the Arabic VerbNet classes has led to the adoption of a finite set of mapping rules between AVN classes and HPSG subcategorization and semantics descriptions covering the majority ...
It encompasses syntax and semantics shared among a set of verbs (the members of the class). ...
doi:10.13053/rcs-117-1-3
fatcat:ckj7djq7jzdc3ooxo2vbktpk34
LEARNING ABOUT THE SYNTAX-SEMANTICS INTERFACE: A STUDY OF COGNATE VERBS IN BRAZILIAN PORTUGUESE AND ITALIAN
2011
Revista da ABRALIN
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
A análise comparativa de verbos cognatos em línguas parentes fornece informações relevantes para esclarecer a distinção teórica necessária entre dois tipos de propriedades semânticas dos verbos. ...
Structure (d) is shared for L A T S -S I : A S O C V I B P - A I 132 several types of 'beatings' and 'poundings' but not for 'nail poundings' and 'children hittings' in Italian. ...
Of course: no syntactic sharing, no semantic sharing. Syntax is really very strong! And the two verbs don't "count" as the "same" verb to bilingual speakers. ...
doi:10.5380/rabl.v10i2.32062
fatcat:jwp6vdd575exzkj3nnoxbmgjse
Introduction
[chapter]
1979
Linguistics, Philosophy, and Montague Grammar
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
'The theory of relativity is shiny' is such a sentence. Waldo first proposes a grammar which generates and allows for the interpretation of a range of sortally incorrect sentences. ...
The second part of Dowty's paper introduces a general theory of word formation for Montague grammar. ...
doi:10.7560/746251-002
fatcat:uty4wmm2zjfyrl3erqolp277ja
Controlled Natural Language Generation from a Multilingual FrameNet-Based Grammar
[chapter]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
Other Versions
First, it offers a methodological approach to automatically generate the grammar based on semantico-syntactic valence patterns extracted from FrameNet-annotated corpora. ...
Second, it provides a proof of concept for two use cases illustrating how the acquired multilingual grammar can be exploited in different CNL applications in the domains of arts and tourism. ...
syntactic annotations • Rules and heuristics for generalizing to RGL types, and for deciding the syntactic roles • A lot of automatic annotation errors heuristic correction (partial) mkCl person (mkVP ...
doi:10.1007/978-3-319-10223-8_15
fatcat:y3sgo2cr3vglpdyjuxzyrmft4e
Building a Tibetan Syntactic and Semantic Dependency Treebank
2016
Innovative Computing Information and Control Express Letters, Part B: Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Further, we work out a syntactic and semantic annotation schema for Tibetan, and train a syntactic parsing system and a semantic parsing system on our newly-built Tibetan dependency treebank. ...
This paper takes dependency grammar as the theoretical basis to build a Tibetan syntactic and semantic dependency treebank. We first introduce the basic principles of dependency grammar. ...
Fund of China (No. 14ZDB101), Innovative Support Program for Young Teachers of Tibetan Universities (QC2015-19), and Zhufeng Scholar Project. ...
doi:10.24507/icicelb.07.07.1645
fatcat:wdrld3hsdzbjbmqrl7a7frdrau
Page 651 of Computational Linguistics Vol. 20, Issue 4
[page]
1994
Computational Linguistics
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
However, D-theory is a purely syntactic theory, which does not construct a semantic interpretation, and in many cases it creates the same underspecified syntactic analysis for sentences that require different ...
types of interpretations. ...
Feature sharing in agreement
2015
Natural language & linguistic theory
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This article discusses the mechanism of feature sharing in the analysis of agreement across theories. ...
We also show that phenomena in Tsez and in Algonquian that have so far been described in terms of long distance agreement lend themselves to a treatment in terms of feature sharing, and we look at the ...
Acknowledgements We thank Oleg Belyaev, Grev Corbett, Mary Dalrymple, Michael Daniel, Marius Jøhndal, Louisa Sadler, associate editor Ad Neeleman and NLLT reviewers for valuable feedback on the research ...
doi:10.1007/s11049-015-9321-9
fatcat:kdp7yctizfelbi7nvuv5ljqrwu
No nouns, no verbs? A rejoinder to Panagiotidis
2005
Lingua
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
Regarding overgeneration, it is argued that syntactic proposals, whether lexicalist or non-lexicalist, fail to generate ungrammatical strings of the type described by Panagiotidis, and that the productivity ...
We conclude that the systematic interpretation of purely syntactic features supports a narrow syntactic theory of noun-verb innovation, but that the residual idiosyncrasy argues for a non-lexicalist theory ...
Both lexicalist and non-lexicalist theories require the acquisition of syntactic features and rules for generating phrases. ...
doi:10.1016/j.lingua.2004.05.001
fatcat:euixpo7x45boboh7tjds6mcray
Logical Relations as Types: Proof-Relevant Parametricity for Program Modules
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2021 pre-print arXiv:2010.08599v2 fatcat:zcxxze6nnzhazgypfq23gq5yamOther Versions
Our main result is a (significant) proof-relevant and phase-sensitive generalization of the Reynolds abstraction theorem for a calculus of program modules, based on a new kind of logical relation called ...
Using the insight that logical relations/parametricity is itself a form of phase distinction between the syntactic and the semantic, we contribute a new synthetic approach to phase separated parametricity ...
Any opinions, ndings and conclusions or recommendations expressed in this material are those of the authors and do not necessarily re ect the views of the AFOSR. ...
arXiv:2010.08599v3
fatcat:egvxsje5qbhzbgguct6cv47sjy
Page 567 of Linguistics and Language Behavior Abstracts: LLBA Vol. 28, Issue 2
[page]
1994
Linguistics and Language Behavior Abstracts: LLBA
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Impersonal Construction of the Type svetaet: On the History and Theory of the Issue), WW Russian Linguistics, 1993, 17, 2, 181-203. ...
Predi- cation, WW Linguistic Inquiry, 1993, 24, 4, fall, 591-656.
1 A general theory of predication, made possible by the incorporation of
functional heads in X-bar theory, postulates a universal D-structure ...
Remarks on marking
2002
Proceedings of the International Conference on Head-Driven Phrase Structure Grammar
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
This paper calls for a reexamination of the Marking Theory of HPSG, which in its standard form involves a considerable amount of dedicated formal machinery, but which proves to be inapplicable for most ...
types of grammatical marking. ...
Otherwise, the SYNSEM specifications of the head daughter and of the mother are shared, by the Generalized HFP. ...
doi:10.21248/hpsg.2001.18
fatcat:47yir5yhobhk5iqbnuxppdi3oq
« Previous
Showing results 1 — 15 out of 81,277 results