Combinatory logic - PDFSEARCH.IO - Document Search Engine

Combinatory logic
Results: 540

#	Item
1	1 Abstraction as a Means for End-User Computing in Creative Applications Mira Balaban () Eli Barzilay () Add to Reading List Source URL: barzilay.org Language: English - Date: 2003-03-11 03:26:58 Abstraction Theoretical computer science Lambda calculus Software engineering Cognitive science Models of computation Logic in computer science Data management Combinatory logic Factory Deductive lambda calculus
2	GROSS SUBSTITUTABILITY : AN ALGORITHMIC SURVEY RENATO PAES LEME∗ Abstract. The concept of gross substitute valuations was introduced by Kelso and Crawford as a sufficient conditions for the existence of Walrasian equil Add to Reading List Source URL: www.renatoppl.com Language: English - Date: 2013-11-28 12:54:41 Auction theory Mathematics Submodular set function Competitive equilibrium Theoretical computer science Valuation Gross substitutes Software engineering Pure Combinatory logic
3	Composing ComposingContracts: contracts: An Adventure in Financial Engineering Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2001-11-22 11:58:10 Lambda calculus Quantum mechanics Combinatory logic Logic in computer science Futures contract Forward contract Government procurement in the United States Derivative Observable
4	Worksheet on Inclusion-Exclusion October 11, 2015 This is a long worksheet and it will probably span two days. Might I suggest that you refrain from working on it between the classes so you can enjoy the discovery collab Add to Reading List Source URL: math.colorado.edu Language: English - Date: 2015-12-04 19:21:55 Mathematics Enumerative combinatorics Probability theory Mathematical proofs Inclusionexclusion principle Combinatorial proof Wallet Combinatorics Subset Combinatory logic FO
5	To appear in Express’99. Available online from http://www.cl.cam.ac.uk/∼ljw1004 Symmetric action calculi Lucian J. Wischik and Philippa Gardner, May 1999 Add to Reading List Source URL: www.wischik.com Language: English - Date: 2001-08-20 15:53:14 Process calculi Theoretical computer science Mathematical logic Mathematics Lambda calculus -calculus Calculus Combinatory logic Sequent Process calculus
6	APPEARED IN BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 32, Number 2, April 1995, PagesFAMILIES OF CURVES AND WEIGHT DISTRIBUTIONS OF CODES Add to Reading List Source URL: www.mat.uniroma2.it Language: English - Date: 2002-11-22 18:02:17 Mathematics Abstract algebra Algebra Finite fields Group theory Elliptic curves Number theory Analytic number theory Supersingular elliptic curve Combinatory logic Algebraic curve BCH code
7	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
8	Structural Recursion as a Query Language y Val Breazu-Tannen, Peter Buneman Department of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104{6389, USA val, peter @cis.upenn.edu Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:16 Mathematics Algebra Mathematical logic Relational model Models of computation Logic in computer science Database theory Lambda calculus Relational algebra Tuple Finitary relation Combinatory logic
9	Expressive Logical Combinators for Free Pierre Genevès (CNRS) Joint work with Alan Schmitt (Inria) IJCAI, July 30th 2015, Buenos Aires Add to Reading List Source URL: tyrex.inria.fr Language: English - Date: 2015-07-29 15:55:34 Logic Theoretical computer science Logic in computer science Mathematics Lambda calculus Formal languages Mathematical logic Syntax Combinatory logic FO Well-formed formula Logic programming
10	The CPS transform from Griffin. Let us first repeat what Herman already showed on the blackboard. The definition of the CPS transform in Griffin is: x = λk. kx λx. M = λk. k (λx. M ) M N = λk. M (λm. N (λn. mnk)) Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-11-28 07:13:57 Computability theory Mathematical logic Theoretical computer science Mathematics Differential topology Orbifold Combinatory logic