<--- Back to Details
First PageDocument Content
Linguistics / Logic / Grammar / Syntax / Semantics / Predicate / Argument / Proposition / Dependency grammar / Quantifier / Operator / Clause
Date: 2009-12-01 07:07:32
Linguistics
Logic
Grammar
Syntax
Semantics
Predicate
Argument
Proposition
Dependency grammar
Quantifier
Operator
Clause

Layers and Operators Revisited Matthew Anstey 1. Introduction1 Perhaps Functional Grammar’s most distinctive feature is its extensive use of the so-called layered structure of the clause (LSC). The LSC is used as both

Add to Reading List

Source URL: home.hum.uva.nl

Download Document from Source Website

File Size: 442,02 KB

Share Document on Facebook

Similar Documents

Syntax-Guided Optimal Synthesis for Chemical Reaction Networks∗ ˇ ska3 Martin Fr¨anzle4 , Marta Kwiatkowska2 , Luca Cardelli1,2 , Milan Ceˇ 2 Luca Laurenti , Nicola Paoletti5 , and Max Whitby2

Syntax-Guided Optimal Synthesis for Chemical Reaction Networks∗ ˇ ska3 Martin Fr¨anzle4 , Marta Kwiatkowska2 , Luca Cardelli1,2 , Milan Ceˇ 2 Luca Laurenti , Nicola Paoletti5 , and Max Whitby2

DocID: 1xVI7 - View Document

Parametric Higher-Order Abstract Syntax for Mechanized Semantics Adam Chlipala Harvard University

Parametric Higher-Order Abstract Syntax for Mechanized Semantics Adam Chlipala Harvard University

DocID: 1xUkW - View Document

[DSLDI14]  Composable and Hygienic Typed Syntax Macros (TSMs)	
 Cyrus Omar Chenglong (Stanley) Wang

[DSLDI14] Composable and Hygienic Typed Syntax Macros (TSMs) Cyrus Omar Chenglong (Stanley) Wang

DocID: 1xUcw - View Document

What’s in Main Tobias Nipkow August 15, 2018 Abstract This document lists the main types, functions and syntax provided by theory Main. It is meant as a quick overview of what is available.

What’s in Main Tobias Nipkow August 15, 2018 Abstract This document lists the main types, functions and syntax provided by theory Main. It is meant as a quick overview of what is available.

DocID: 1xTVU - View Document

What’s in Main Tobias Nipkow August 15, 2018 Abstract This document lists the main types, functions and syntax provided by theory Main. It is meant as a quick overview of what is available.

What’s in Main Tobias Nipkow August 15, 2018 Abstract This document lists the main types, functions and syntax provided by theory Main. It is meant as a quick overview of what is available.

DocID: 1xTQ6 - View Document