Lambda - PDFSEARCH.IO - Document Search Engine

Lambda
Results: 2778

#	Item
251	Microsoft PowerPoint - Lect14lecture_env3.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-11-01 06:30:49 Lambda calculus Anonymous function Lambda lifting Lambda calculus definition
252	Crafting a Repository of Knowledge Based on Transformation Rules A.D. Rich (1) and D.J. JeffreyLoli’i Way, Kamuela, Hawaii, USA. Add to Reading List Source URL: www.apmaths.uwo.ca Language: English - Date: 2009-04-06 23:30:16 Elementary algebra Computer algebra Symbolic computation Expression Identity Computer algebra system Algebraic expression Integral Trigonometric functions Draft:Formulae Lambda calculus definition
253	Kat - the language of calculations Mikus Vanags Parameter declaration explicitly Add to Reading List Source URL: www.issac-symposium.org Language: English - Date: 2015-07-08 07:22:21 Lambda calculus Subroutines Functional programming Data types Anonymous function Parameter Implicit function Church encoding
254	The Topics Type Inference, Higher Order Algebra, and Lambda Calculus Type Inference: how to find the possible type(s) of expressions, without Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2013-12-11 16:14:47 Lambda calculus Type theory Higher-order functions Programming language comparisons Logic in computer science Anonymous function Type inference Propositional calculus Map Unification Fold Calculus
255	Internal draft. Available online from http://www.cl.cam.ac.uk/∼ljw1004 Symmetric action calculi Philippa Gardner and Lucian J. Wischik Add to Reading List Source URL: www.wischik.com Language: English - Date: 2001-08-20 15:53:16 Theoretical computer science Computability theory Logic in computer science Lambda calculus Process calculi Combinatory logic -calculus Substitution Group action Binary relation Equivalence relation FO
256	PDF Document Add to Reading List Source URL: lambda.gsfc.nasa.gov - Date: 2015-11-16 18:25:09
257	A Development of Lambda Calculus with Onappo Ike Antkaretoo International Institute of Technology United Slates of Earth Add to Reading List Source URL: membres-lig.imag.fr Language: English - Date: 2014-01-09 04:24:29 Actor model Concurrent computing Dwight D. Eisenhower
258	A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Northeastern University Add to Reading List Source URL: barzilay.org Language: English - Date: 2009-07-12 22:21:53 Lambda calculus Subroutines Functional programming Computability theory Theoretical computer science Higher-order abstract syntax Anonymous function Scheme Fixed-point combinator Combinatory logic Eval Hygienic macro
259	ń* : Beyond Currying Jason Hemann Add to Reading List Source URL: webyrd.net Language: English - Date: 2014-01-13 20:04:11 Lambda calculus Functional programming Partial application Currying Apply Anonymous function Arity Combinatory logic Scheme Parameter
260	Exam Logical Verification December 18, 2008 There are six (6) exercises. Answers may be given in Dutch or English. Good luck! Exercise 1. This exercise is concerned with first-order propositional logic (prop1) and simply Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-01-12 07:22:28 Mathematical logic Type theory Formal methods Classical logic Metalogic Lambda calculus First-order logic Propositional calculus Tautology Dependent type Well-formed formula Logic programming

UPDATE