Lambda - PDFSEARCH.IO - Document Search Engine

Lambda
Results: 2778

#	Item
641	BRICS Basic Research in Computer Science BRICS RSFridlender & Indrika: Do we Need Dependent Types? Do we Need Dependent Types? Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-03-27 17:26:58 Higher-order functions Functional programming Lambda calculus Type theory Map Haskell AS3 Type system Generic programming Computing Software engineering Declarative programming
642	Microsoft Word - TDK-Lambda EZA2500Press Release .docx Add to Reading List Source URL: us.tdk-lambda.com Language: English - Date: 2015-06-07 06:56:25 Power electronics Power supplies Photovoltaics DC-to-DC converter TDK Solar panel Inverter High-voltage direct current Electrical engineering Electromagnetism Electronics
643	On the periods of some graph transformations A. M. Odlyzko AT&T Bell Laboratories Murray Hill, NJD. J. Randall AT&T Bell Laboratories Add to Reading List Source URL: www.dtc.umn.edu Language: English - Date: 1998-04-13 22:13:34 Lambda calculus Logic in computer science Holomorphic functional calculus Itō diffusion Mathematical analysis Mathematics Combinatory logic
644	BRICS Basic Research in Computer Science BRICS RSM¨oller et al.: Predicate Abstraction for Dense Real-Time Systems Predicate Abstraction for Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-11-23 11:27:09 Applied mathematics Models of computation Model checking Fixed-point combinator Abstraction Predicate Abstract interpretation Finite-state machine Function Theoretical computer science Mathematics Lambda calculus
645	Midland Graduate School in Foundations of Computer Science Quantum Topos Theory Steve Vickers, School of Computer Science, University of Birmingham 2010 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-03-30 03:56:09 Structure Support Ideal Complete partial order Partially ordered set Continuous function Sierpiński space Spectral theory of ordinary differential equations Lambda calculus Mathematics Order theory Mathematical analysis
646	Neon isotope and lambda hypernuclei with the Nijmegen hyperon interaction Ang Li 1) Foreign Postdoctoral Researcher in Strangeness Nuclear Physics Laboratory, RIKEN (Group leader: E. Hiyama) Add to Reading List Source URL: www.phys.kyushu-u.ac.jp Language: English - Date: 2012-09-06 01:07:01 Nuclear physics Baryons Exotic matter Nuclear chemistry Hypernucleus Radioactivity Nucleon Hyperon Hartree–Fock method Physics Chemistry Particle physics
647	Microsoft Word - TDK-Lambda Americas T&Cs June 18, 2013.doc Add to Reading List Source URL: us.tdk-lambda.com Language: English - Date: 2015-06-07 06:56:16
648	Reversible Session-Based Pi-CalculusI Francesco Tiezzia,∗, Nobuko Yoshidab a b University of Camerino, Italy Add to Reading List Source URL: mrg.doc.ic.ac.uk Language: English - Date: 2015-07-07 07:06:59 Models of computation Computer science Computability theory Mathematics Π-calculus Process calculus Actor model Reversible computing Lambda calculus Theoretical computer science Process calculi Applied mathematics
649	Beyond MapReduce, Beyond Lambda Easy, unified, reliable processing for stream and batch William Vambenepe @vambenepe Add to Reading List Source URL: www-conf.slac.stanford.edu - Date: 2015-05-21 12:51:01
650	Self-Representation in Girard’s System U Keywords Lambda Calculus; Self Representation; Types 1. Add to Reading List Source URL: compilers.cs.ucla.edu Language: English - Date: 2015-01-10 19:46:17 Type theory Models of computation Symbol Lambda calculus Greek alphabet Type constructor Curry–Howard correspondence Normalisation by evaluation Theoretical computer science Mathematics Computer science

UPDATE