Lambda - PDFSEARCH.IO - Document Search Engine

Lambda
Results: 2778

#	Item
651	MFPSExploratory functions on nondeterministic strategies, up to lower bisimilarity ? Paul Blain Levy1 Kidane Yemane Weldemariam2 University of Birmingham, Birmingham, B15 2TT, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2009-05-18 06:36:21 Deduction Entailment Logical consequence Logical syntax Metalogic Valuation Lambda calculus Natural deduction Holomorphic functional calculus Logic Abstract algebra Mathematics
652	On the Formal Semantics of IF-like Logics Santiago Figueiraa,b , Daniel Gor´ına , Rafael Grimsonc a Departamento de Computaci´ on, FCEyN Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2009-10-23 18:50:09 Model theory Predicate logic Non-classical logic Quantification Interpretation First-order logic Independence-friendly logic FO Lambda calculus Logic Mathematical logic Philosophical logic
653	came more than once. They really were very, very positive about it. The response has been fantastic. JR: What impact would you like the play to have, either on people in general or on the mathematical community? GC: It d Add to Reading List Source URL: static.squarespace.com Language: English Calculus Academia The Teaching Company Lambda calculus Chaos theory Steven Strogatz Education Mathematics
654	Welcome to the LAMBDA PI ETA Mu Sigma Chapter at Colorado State University Lambda Pi Eta is the official communication studies honor society of the National Communication Association (NCA). As an accredited member of the Add to Reading List Source URL: web.libarts.colostate.edu Language: English - Date: 2014-09-10 14:01:12 Academia Communication studies Education Knowledge Honor societies Association of College Honor Societies Lambda Pi Eta
655	doi:j.jim Add to Reading List Source URL: rna.berkeley.edu Language: English - Date: 2015-06-12 11:40:56 Immune system Bacteriophages Caudovirales Signal recognition particle Monoclonal antibodies Phage display Antibody Lambda phage ELISA Biology Microbiology Molecular biology
656	A tutorial on call-by-push-value Paul Blain Levy University of Birmingham October 12, 2013 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-10-21 08:35:46 Computer science Programming language semantics Models of computation Type theory Lambda calculus Denotational semantics Type system Evaluation strategy Operational semantics Theoretical computer science Applied mathematics Logic in computer science
657	Progress as Compositional Lock-Freedom Marco Carbone 1 2 Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2014-03-24 08:33:36 Deduction Lambda calculus Process calculi Π-calculus Function Valuation Fixed-point combinator Branch point Entailment Mathematics Logic Theoretical computer science
658	Long Gamma Ray Burst Progenitors in Cosmological Simulations. L. A. Bignone∗,1, L. J. Pellizza2, P. B. Tissera1,3 Instituto de Astronomía y Física del Espacio, (CONICET-UBA) 2 Instituto Argentino de Radioastronomía Add to Reading List Source URL: www.iafe.uba.ar Language: English - Date: 2015-02-25 13:20:42 Light sources Stellar evolution Standard candles Large-scale structure of the cosmos Redshift Dark matter Gamma-ray burst Lambda-CDM model Supernova Physics Astronomy Physical cosmology
659	BOOKS ET AL. manages to cover. To get through it all, he mostly sticks to the point, which renders some parts a bit disjointed. Also, his rapid progress generally leaves no room to give the unknowing reader a sense of th Add to Reading List Source URL: static.squarespace.com Language: English Calculus Fibonacci number Lambda calculus Function Number Mathematical analysis Mathematics Theoretical computer science Steven Strogatz
660	Mint: A Multi-stage Extension of Java COMP 600 Mathias Ricken Rice University February 8, 2010 Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2010-02-09 20:56:36 Functional programming Subroutines C++ Procedural programming languages C++ classes Lambda C Anonymous function C Sharp syntax Software engineering Computer programming Computing

UPDATE