Lambda - PDFSEARCH.IO - Document Search Engine

Lambda
Results: 2778

#	Item
431	The ∇-Calculus. Functional Programming with Higher-order Encodings. Carsten Sch¨ urmann, Adam Poswolsky, Jeffrey Sarnat Yale University Add to Reading List Source URL: www.itu.dk Language: English - Date: 2004-11-03 09:40:39 Logic in computer science Lambda calculus Models of computation Combinatory logic First-order logic Substitution Symbol Natural deduction
432	Opis: Reliable Distributed Systems in OCaml ´ Pierre-Evariste Dagand Dejan Kosti´c Add to Reading List Source URL: infoscience.epfl.ch Language: English - Date: 2011-07-09 03:42:05 Computing Computer programming Software engineering File sharing Distributed computing Lambda calculus Logic in computer science Network architecture OCaml Combinatory logic Gossip protocol Peer-to-peer
433	HFEシリーズ小型高効率フロントエンド電源 ■ 外観図 ●HFE1600モデル Add to Reading List Source URL: www.tdk-lambda.co.jp Language: Japanese - Date: 2012-11-07 00:45:54
434	JWS-SERIES Single output 50W ~ 600W Unit Type Power Supply Add to Reading List Source URL: www.tdk-lambda.com Language: English - Date: 2011-07-15 02:20:14
435	JWT75-3-日本語 [更新済み] Add to Reading List Source URL: www.tdk-lambda.com Language: English - Date: 2011-07-15 02:20:16
436	1 Non-dimming/On-board Type CXA-M10L-L ■ Features Add to Reading List Source URL: www.tdk-lambda.com Language: English - Date: 2011-07-15 02:19:48
437	The dagger lambda calculus Add to Reading List Source URL: www-mmm.is.s.u-tokyo.ac.jp Language: English - Date: 2015-05-01 07:51:19
438	ト PAF SERIES DC/DC Module 450W-700W Add to Reading List Source URL: www.tdk-lambda.com Language: English - Date: 2011-07-15 02:20:38
439	CXADimming/Connector Type ■ Features Add to Reading List Source URL: www.tdk-lambda.com Language: English - Date: 2011-07-15 02:19:18
440	2015 Products Guidepage Add to Reading List Source URL: www.tdk-lambda.com Language: English - Date: 2015-08-04 02:02:46

UPDATE