Lambda - PDFSEARCH.IO - Document Search Engine

Lambda
Results: 2778

#	Item
541	PDF Document Add to Reading List Source URL: www.tdk-lambda.co.jp Language: Japanese - Date: 2015-05-26 23:02:34
542	A Tutorial on Lambda Prolog and its Applications to Theorem Proving Tutorial References Prolog [Miller & Nadathur]: For information on the language Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-05-01 04:27:46
543	1 CC-E Insulation type DC-DC converter Add to Reading List Source URL: www.tdk-lambda.com Language: English - Date: 2015-07-13 23:53:32
544	Pure Type Systems revisited Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology The Netherlands Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2013-11-14 12:39:58 Lambda calculus Type theory Combinatory logic Pure type system Lambda cube Fixed-point combinator Calculus of constructions Explicit substitution Natural deduction
545	Lambda-calculus and Combinators in the 20th Century ∗ Felice Cardone †, J. Roger Hindley Add to Reading List Source URL: www.users.waitrose.com Language: English - Date: 2009-06-20 06:40:09
546	1 Dimming/Connector Type CXA-0437 ■ Features Add to Reading List Source URL: www.tdk-lambda.com Language: English - Date: 2011-07-15 02:19:16
547	CERN-PH-THLYCENAlterBBN: A program for calculating the BBN abundances of the elements in alternative cosmologies Add to Reading List Source URL: superiso.in2p3.fr Language: English - Date: 2011-07-01 04:22:43 Physical cosmology Physics Astronomy Philosophy of physics Big Bang nucleosynthesis Lambda-CDM model Big Bang Dark energy Universe Non-standard cosmology Entropy Friedmann equations
548	製品仕様製品ラインアップモデル名モデル名 Add to Reading List Source URL: www.tdk-lambda.co.jp Language: Japanese - Date: 2015-06-30 01:54:29
549	1 Non-dimming/On-board Type CXA-L10L ■ Features Add to Reading List Source URL: www.tdk-lambda.com Language: English - Date: 2011-07-15 02:19:48
550	Scala for TAPL’ers Part 2 Ilya Sergey Substitutions vs Closures Parsing Add to Reading List Source URL: ilyasergey.net Language: English - Date: 2016-03-01 06:31:32 Software engineering Computing Computer programming Lambda calculus Automated theorem proving Logic programming Subroutines Logic in computer science Substitution Closure Free variables and bound variables Term

UPDATE