-calculus - PDFSEARCH.IO - Document Search Engine

-calculus
Results: 11790

#	Item
991	BRICS Basic Research in Computer Science BRICS RSDanvy & Rose: Higher-Order Rewriting and Partial Evaluation Higher-Order Rewriting and Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Lambda calculus Computability theory Theoretical computer science Logic in computer science Combinatory logic Recursion Term Free variables and bound variables Lambda calculus definition
992	DOC Document Add to Reading List Source URL: biology.ucr.edu Language: English - Date: 2010-01-28 13:00:25 Regression analysis Estimation theory Differential calculus Standard deviation R Linear regression Mathematical optimization Matrix Numerical analysis Derivative Lambert W function
993	Self-applicable Partial Evaluation for Pure Lambda Calculus Torben Æ. Mogensen DIKU, University of Copenhagen, Denmark Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:54 Lambda calculus Combinatory logic Church encoding Fixed-point combinator Anonymous function Higher-order abstract syntax Type system Unification De Bruijn index Lambda calculus definition
994	Mathematics 2016 press.princeton.edu Contents Add to Reading List Source URL: press.princeton.edu Language: English - Date: 2015-11-30 12:57:48 Mathematics Calculus Steven Strogatz Applied mathematics Mathematical analysis Richard Feynman Mathematical proof Edward Burger
995	TAKE-HOME CLASS QUIZ: DUE WEDNESDAY FEBRUARY 20: INTEGRATION TECHNIQUES (ONE VARIABLE) MATH 195, SECTION 59 (VIPUL NAIK) Your name (print clearly in capital letters): In the questions below, we say that a function is exp Add to Reading List Source URL: files.vipulnaik.com Language: English - Date: 2016-08-13 11:33:29 Integral calculus Functions and mappings Integration by parts Antiderivative Integral Derivative Rational function Continuous function Lebesgue integration Differentiation rules Proof that is irrational
996	Ambient References: Addressing Objects in Mobile Networks Tom Van Cutsem ∗ Elisa Gonzalez Jessie Dedecker ∗ Stijn Mostinckx † Add to Reading List Source URL: soft.vub.ac.be Language: English - Date: 2007-01-09 07:10:57 Distributed computing architecture Process calculi Inter-process communication Ambient calculus Ambient intelligence Message passing Actor model Short Message Service Distributed object Multi-factor authentication
997	Open GADTs and Declaration-site Variance: A Problem Statement Paolo G. Giarrusso Philipps University Marburg ABSTRACT Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2014-03-18 17:06:31 Type theory Polymorphism Data types Object-oriented programming Dependently typed programming Covariance and contravariance Higher-order abstract syntax Lambda calculus Const Subtyping Scala Generalized algebraic data type
998	Analysis III/IV (Math 3011, MathSolutions to Exercise Sheet. Let f (x, y) = x2 y 3 . Then we have Add to Reading List Source URL: maths.dur.ac.uk Language: English - Date: 2011-11-22 12:43:00 Differential forms Harmonic functions Chain rule Closed and exact differential forms Integral calculus Differential forms on a Riemann surface Bessel function
999	A Variational Approach to Robertson-Walker Spacetimes with Homogeneous Scalar Fields Roberto Giambo` Dipartimento di Matematica e Informatica Universita` di Camerino Add to Reading List Source URL: xtsunxet.usc.es Language: English - Date: 2007-03-09 06:10:41 Theoretical physics Quantum field theory Multivariable calculus Scalar field Field Scalar Classical field theory
1000	02157 Functional ProgrammingFunctional Programming Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-01-17 16:17:56 Vectors Vector calculus Linear algebra Mathematical notation Vector Technical University of Denmark Operator MRH Euclidean vector

UPDATE