Types syntaxiques et types sémantiques : la phrase copulative comme palimpseste
نویسندگان
چکیده
منابع مشابه
Les types de données syntaxiques du système F
We give in this paper a purely syntactical definition of input and output types of system F . We define the syntactical data types as input and output types. We show that any type with positive quantifiers is a syntactical data type and that an input type is an output type. We give some restrictions on the ∀-elimination rule in order to prove that an output type is an input type. Mathematics Su...
متن کاملInformations morpho-syntaxiques et adaptation thématique pour améliorer la reconnaissance de la parole
A way to improve outputs produced by automatic speech recognition (ASR) systems isto integrate additional linguistic knowledge. Our research in this eld focuses on two aspects:morpho-syntactic information and thematic adaptation.In the rst part, we propose a new mode of integration of parts of speech in a post-processingstage of speech decoding. To do this, we tag N-best sentenc...
متن کاملIntersection-types à la Church
In this paper, we present Λ∧, a fully typed λ-calculus based on the intersection-type system discipline, which is a counterpart à la Church of the type assignment system as invented by Coppo and Dezani. The relationship between Λ∧ and the intersection type assignment system is the standard isomorphism between typed and type assignment system, and so the typed language inherits from the untyped ...
متن کاملModeling Complement Types in Phrase-Based SMT
We explore two approaches to model complement types (NPs and PPs) in an Englishto-German SMT system: A simple abstract representation inserts pseudo-prepositions that mark the beginning of noun phrases, to improve the symmetry of source and target complement types, and to provide a flat structural information on phrase boundaries. An extension of this representation generates context-aware synt...
متن کاملF–isocrystals and Homotopy Types (f–isocristaux Et Types D’homotopie)
We study a positive characteristic analog of the nonabelian Hodge structure constructed by Katzarkov, Pantev, and Toen on the homotopy type of a complex algebraic variety. Given a proper smooth scheme X over a perfect field of characteristic p and a Tannakian category C of isocrystals on X, we construct an object XC in a suitable homotopy category of simplicial presheaves whose category of loca...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Articles thématiques
سال: 2009
ISSN: 1705-4591,0710-0167
DOI: 10.7202/602754ar