<--- Back to Details
First PageDocument Content
Computer programming / Free variables and bound variables / Logic / Mathematical notation / Predicate logic / Gender-neutral pronoun / Relative clause / Singular they / Anaphora / Linguistics / Syntax / Pronouns
Date: 2002-04-04 17:46:44
Computer programming
Free variables and bound variables
Logic
Mathematical notation
Predicate logic
Gender-neutral pronoun
Relative clause
Singular they
Anaphora
Linguistics
Syntax
Pronouns

Add to Reading List

Source URL: acl.ldc.upenn.edu

Download Document from Source Website

File Size: 590,59 KB

Share Document on Facebook

Similar Documents

Logic / Mathematical logic / Mathematics / Predicate logic / Type theory / Logic in computer science / Combinatory categorial grammar / Combinatory logic / Quantifier / Lambda calculus / Parsing / Free variables and bound variables

Broad-coverage CCG Semantic Parsing with AMR Kenton Lee Luke Zettlemoyer Yoav Artziāˆ— Dept. of Computer Science and Cornell Tech Computer Science & Engineering University of Washington Cornell University

DocID: 1r3ES - View Document

Logic / Mathematical logic / Mathematics / Predicate logic / Semantics / Quantification / Model theory / Mathematical notation / First-order logic / FO / Free variables and bound variables / Quantifier

CS4003: Approach CS4003: Formal Methods Andrew Butterfield1 1 Foundations

DocID: 1qUOR - View Document

Linguistics / Pronouns / Parts of speech / Semantics / Sociolinguistics / Syntax / Free variables and bound variables / Donkey sentence / Demonstrative / Gender-specific and gender-neutral third-person pronouns / Interlanguage / Deixis

L1 Transfer in Bound Variable Use of L2 Japanese Demonstrative Pronouns

DocID: 1qQ6c - View Document

Software engineering / Computer programming / Software development / Programming idioms / Computability theory / Functional programming / Theoretical computer science / Logic programming / Unfolding / Recursion / Free variables and bound variables / Symbolic computation

In: Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 1996, Lecture Notes in Computer Science 1110, Springer, 1996 ppInvited paper) A Comparative Revisitation of Some Program Tran

DocID: 1qHjQ - View Document

Software / Computing / Application software / Mathematical markup languages / Formula editors / Cross-platform software / MathML / Markup languages / OpenMath / Design Science / Free variables and bound variables / Wolfram Mathematica

An On-line MathML Editing Tool for Web Applications Su Wei Lanzhou University, Lanzhou, Gansu, 730000, China

DocID: 1qqU3 - View Document