Lambda - PDFSEARCH.IO - Document Search Engine

Lambda
Results: 2778

#	Item
231	AVIA Diesel Bio+10 Säule Add to Reading List Source URL: aa-boschap-de.resource.bosch.com Language: English - Date: 2016-08-19 22:18:56 Embedded systems Power control Oxygen sensor Lambda Lean-burn Robert Bosch GmbH Catalytic converter Engine control unit Airfuel ratio Airfuel ratio meter
232	AP Calculus BC Course Planning and Pacing Guide: Arrigo Add to Reading List Source URL: secure-media.collegeboard.org Language: English - Date: 2015-11-11 12:44:58 Functions and mappings Mathematics education Calculus AP Calculus Differential calculus Integral Multivariable calculus Advanced Placement Limit of a function Power rule Mathematical analysis Lambda calculus
233	Microsoft PowerPoint - Lect-interpv2.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-11-23 09:14:19 Lambda calculus Functional programming Control flow Eval Data types Scheme Anonymous function Apply Standard ML
234	Type-based Allocation Analysis for Co-Recursion in Lazy Functional Languages 1 2 Add to Reading List Source URL: kashmir.dcc.fc.up.pt Language: English - Date: 2015-07-24 05:23:42 Functional languages Theoretical computer science Functional programming Recursion Type theory Corecursion Lambda calculus Standard ML Lazy evaluation Stream Monad Haskell
235	Fundamenta Informaticae–19 1 IOS Press Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-08-15 15:31:55 Logic programming Type theory Dependently typed programming Programming language theory Automated theorem proving Higher-order abstract syntax Lambda calculus Substitution Standard ML Env Normalisation by evaluation
236	Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines Małgorzata Biernacka Olivier Danvy Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2015-04-20 13:48:41 Logic in computer science Operational semantics Lambda calculus Closure Combinatory logic Denotational semantics Divergence Rewriting Algorithm Semantics Standard ML
237	miniKanren, Live and Untagged Quine Generation via Relational Interpreters (Programming Pearl) William E. Byrd Eric Holk Add to Reading List Source URL: users-cs.au.dk Language: English - Date: 2012-09-09 01:13:27 Lambda calculus Eval Anonymous function Scheme Env Church encoding
238	From F? to SMT (Extended Abstract) Alejandro Aguirre1,2 1 Inria Paris Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2016-07-04 02:54:41 Theoretical computer science Formal methods Computability theory Functional languages Logic in computer science Satisfiability modulo theories Factorial ML Recursion Lambda calculus System F
239	Fundamental Dark Mass, Dark Energy Time Relation in a Friedman Dust Universe and in a Newtonian Universe with Einstein’s Lambda James G. Gilson ∗ September 27, 2007 Add to Reading List Source URL: www.fine-structure-constant.org Language: English - Date: 2012-11-16 12:01:56 Physical cosmology Cosmological constant Friedmann equations Dark energy Universe Equation of state Dark matter General relativity Lambda-CDM model Einstein field equations
240	Microsoft Word - Midlands Graduate School 2009.doc Add to Reading List Source URL: www.cs.le.ac.uk Language: English - Date: 2009-03-25 09:18:02 Lambda calculus Normalisation by evaluation

UPDATE