Lambda - PDFSEARCH.IO - Document Search Engine

Lambda
Results: 2778

#	Item
211	81 Documenta Math. Motivic Splitting Lemma A. Vishik, K. Zainoulline1 Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2009-02-25 10:07:01 Algebra Abstract algebra Mathematics Algebraic geometry Motive Chow group Projective variety Lambda calculus Spectral theory of ordinary differential equations
212	Microsoft PowerPoint - lecture_Yop_spring05v2.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-12-13 08:49:07 Mathematics Algebra Computability theory Linear algebra Spectral theory Theoretical computer science Subroutines Recursion Recurrence relation Lambda calculus Spectral theory of ordinary differential equations
213	【新学術領域研究（研究領域提案型）】理工系研究領域名実験と観測で解き明かす中性子星の核物質 Add to Reading List Source URL: lambda.phys.tohoku.ac.jp Language: Japanese - Date: 2013-09-04 05:44:20
214	Laziness Without All the Hard Work Combining Lazy and Strict Languages for Teaching Eli Barzilay John Clements Add to Reading List Source URL: barzilay.org Language: English - Date: 2005-07-27 04:57:25 Software engineering Computer programming Computing Functional languages Functional programming Lambda calculus Evaluation strategy Procedural programming languages Eval Scheme Lazy evaluation Standard ML
215	Microsoft PowerPoint - SASyLF-wmm08-web.ppt Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2008-10-15 15:02:54 Theoretical computer science Mathematics Type theory Mathematical logic Formal methods Logic in computer science Programming language theory Twelf POPLmark challenge Lambda calculus Theorem Formal language
216	logical verificationexercises 2 Exercise 1. This exercise is concerned with dependent types. We use the following definition in Coq: Inductive natlist_dep : nat -> Set := \| nil_dep : natlist_dep 0 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-09-02 08:06:23 Logic Mathematical logic Mathematics Type theory Propositional calculus Syntax Predicate logic CurryHoward correspondence Dependent type Lambda calculus First-order logic Proposition
217	Microsoft PowerPoint - Lect05data_abstractionsv4.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-09-21 04:47:00 Software engineering Declarative programming Functional programming Data types Lisp Computer programming Lambda calculus Cons Append CAR and CDR Anonymous function T
218	Making Uniqueness Typing Less Unique Thesis submitted for the degree of Doctor in Philosophy December 14, 2008 Edsko Jacob Jelle de Vries Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Type theory Software engineering Theoretical computer science Mathematical logic Lambda calculus System F Type system Uniqueness type Functional programming Polymorphism Clean
219	Provenance, XML, and the Scientific Web James Cheney University of Edinburgh Abstract Add to Reading List Source URL: db.ucsd.edu Language: English - Date: 2008-12-16 18:40:54 Mathematics Humanities Terminology Models of computation Constructible universe Net Lambda calculus Valuation Provenance Symbol
220	Transformation rules from UML4MBT meta-model to SMT meta-model for model animation Jérôme Cantenot Fabrice Ambert Add to Reading List Source URL: st.inf.tu-dresden.de Language: English - Date: 2012-09-25 06:20:13 Software engineering Theoretical computer science Mathematical logic Formal methods Computability theory Lambda calculus Subroutines Satisfiability modulo theories XC HindleyMilner type system First-order logic Recursion

UPDATE