Lambda - PDFSEARCH.IO - Document Search Engine

Lambda
Results: 2778

#	Item
261	ESTIMATES FOR SPECTRAL DENSITY FUNCTIONS OF MATRICES OVER C[Zd ] arXiv:1310.8564v2 [math.NT] 29 Oct 2014 ¨ Add to Reading List Source URL: 131.220.77.52 Language: English - Date: 2014-10-30 03:27:38 Spectral theory Computability theory Lambda calculus Theoretical computer science
262	Computing Fundamentals Salvatore Filippone 2013–2014 Add to Reading List Source URL: people.uniroma2.it Language: English - Date: 2014-09-23 08:13:16 C standard library Character encoding String Scanf format string Comparison of programming languages Printf format string Lambda calculus String literal
263	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: events.cs.bham.ac.uk Language: English - Date: 2012-04-25 09:32:10 Set theory Principia Mathematica Science Extensionality Axiom of extensionality Intensional Intension Intuitionistic type theory Deductive lambda calculus
264	A/z-CALCULUS: INTERPRETATION NATURAL AN Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-10-04 07:32:04 Proof theory Logic in computer science Constructivism Non-classical logic Deductive reasoning Natural deduction Sequent calculus CurryHoward correspondence Intuitionistic logic Lambda calculus Negation Sequent
265	Iris The Newsletter of the Lambda Classical Caucus Fall 2011 This year’s LCC Panel will be held on Friday, January 6, at 8:30 AM --don’t stay up too late at the notorious LCC/WCC/CSWMG party! Add to Reading List Source URL: www.lambdacc.org Language: English - Date: 2011-08-21 23:41:23 Interpersonal relationships Philosophy of love Same-sex sexuality Sexology Sexual acts Pederasty in ancient Greece Homosexuality Sexual intercourse Sodomy Anal sex Human sexuality Greek love
266	Microsoft PowerPoint - Lect06higher_order_procedures6.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-09-28 10:06:16 Lambda calculus Subroutines Functional programming Anonymous function Parameter Scheme ALGOL 68 Church encoding Deductive lambda calculus
267	Uniqueness Typing Simplified—Technical Appendix Edsko de Vries∗ Department of Computer Science Trinity College Dublin, Ireland August 13, 2008 Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Type theory Logic in computer science Models of computation Computability theory Metalogic Model theory Simply typed lambda calculus Lambda calculus CurryHoward correspondence Intuitionistic type theory
268	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2013-08-19 07:46:27 Logic programming Automated theorem proving Logic in computer science Formal methods Theoretical computer science Unification Lambda calculus Boolean satisfiability problem Conjunctive normal form
269	GRADUATE SCHOOL APPROVAL RECORD NORTHEASTERN UNIVERSITY Graduate College of Computer and Information Science Dissertation Title: Author: Department: Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2016-07-01 10:16:31 Lambda calculus Scheme Lambda Calculus Type theory
270	Expanding Boundary Pressure Process All Pervading Dark Energy Aether in a Friedman Dust Universe with Einstein’s Lambda James G. Gilson School of Mathematical Sciences Add to Reading List Source URL: www.fine-structure-constant.org Language: English - Date: 2012-11-16 12:02:12 Physical cosmology Dark energy Cosmological constant Friedmann equations Big Bang Universe Cosmology Static universe Negative mass Matter General relativity Dark matter

UPDATE