Free variables and bound variables - PDFSEARCH.IO - Document Search Engine

Free variables and bound variables
Results: 147

#	Item
1	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 Add to Reading List Source URL: www.emnlp2015.org Language: English - Date: 2015-12-05 04:22:39 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
2	CS4003: Approach CS4003: Formal Methods Andrew Butterfield1 1 Foundations Add to Reading List Source URL: www.scss.tcd.ie Language: English - Date: 2014-12-22 10:26:21 Logic Mathematical logic Mathematics Predicate logic Semantics Quantification Model theory Mathematical notation First-order logic FO Free variables and bound variables Quantifier
3	L1 Transfer in Bound Variable Use of L2 Japanese Demonstrative Pronouns Add to Reading List Source URL: www.lingref.com Language: English - Date: 2016-04-14 14:43:36 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
4	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 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:37 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
5	An On-line MathML Editing Tool for Web Applications Su Wei Lanzhou University, Lanzhou, Gansu, 730000, China Add to Reading List Source URL: icm.mcs.kent.edu Language: English - Date: 2007-07-30 11:28:35 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
6	STYLE SHEET FOR THE CLA PROCEEDINGS* Add to Reading List Source URL: westernlinguistics.ca Language: English - Date: 2010-06-18 16:04:41 Cognitive science Syntax Linguistics Generative linguistics Noam Chomsky Grammar Personal pronouns Binding Free variables and bound variables Reflexive pronoun Transformational grammar Minimalist program
7	Reflecting Higher-Order Abstract Syntax in Nuprl? Eli Barzilay and Stuart Allen Cornell University {eli,sfa}@cs.cornell.edu Abstract. This document describes part of an effort to achieve in Nuprl a practical reflection o Add to Reading List Source URL: barzilay.org Language: English - Date: 2003-07-04 16:21:32 Automated theorem proving Logic programming Integral calculus Free variables and bound variables Mathematical notation Predicate logic Substitution Term Integration by substitution Principia Mathematica
8	Unsupervised Semantic Parsing Hoifung Poon Pedro Domingos Department of Computer Science and Engineering University of Washington Seattle, WA, U.S.A. Add to Reading List Source URL: twiki.di.uniroma1.it Language: English - Date: 2013-03-28 13:13:45 Computational linguistics Grammar Semantics Formal languages Natural language parsing Dependency grammar Parsing Argument Natural language processing Semantic role labeling Word-sense disambiguation Free variables and bound variables
9	Reasoning about Programs in Continuation-Passing Style Amr Sabry Matthias Felleisen Department of Computer Science Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-10-24 10:44:59 Lambda calculus Functional programming Theoretical computer science Logic in computer science Continuation-passing style Combinatory logic Eval Monad Derivative Free variables and bound variables Lambda calculus definition A-normal form
10	Freeing the Essence of a Computation1 Kenneth R. Anderson BBN Systems and Technologies, 10 Moutlon St. Cambridge, MA, In theory, abstraction is important, but in practice, so is performance. Thus, Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:10 Subroutines Functional languages Linear algebra Common Lisp Cross-platform software Lisp Scheme Anonymous function Closure Norm Eval Free variables and bound variables

UPDATE