Lambda - PDFSEARCH.IO - Document Search Engine

Lambda
Results: 2778

#	Item
141	IRIS The Newsletter of the Lambda Classical Caucus summer 2008 What to Do at the 2009 APA LCC Panel 2009 Add to Reading List Source URL: www.lambdacc.org Language: English - Date: 2010-02-27 15:00:52 Philosophy Socratic dialogues Dialogues of Plato Philosophy of love Academia Humanities Feminist theory Gender studies Symposium Queer theory Phaedrus Homosexuality
142	A LITTLE STARTER TEST FOR CALCULUS 2 W. STEPHEN WILSON 1. Introduction On the first day of class, Fall, 2013, I gave my Calculus II for the Biological and Social Sciences class a short exam of eight questions Add to Reading List Source URL: www.math.jhu.edu Language: English - Date: 2014-09-07 11:01:31 Academia Theoretical computer science Mathematics Education Calculus Lambda calculus SAT Pi Test Algorithm
143	6 base types types patterns matching clause seq. constants Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-12-10 13:53:23 Logic Computability theory Mathematical logic Theoretical computer science Symbol Substitution Lambda calculus Natural deduction
144	Detecting Pattern-Match Failures in Haskell Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09
145	Chapter 3 Simple Types We study simple types in this chapter, We first formalize a simply-typed programming language L0 and then establish its type soundness, setting some machinery for development in the following chap Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-12-18 13:56:03 Computability theory Lambda calculus Theoretical computer science Computer science Mathematics Academia Proof theory
146	Structural Recursion as a Query Language y Val Breazu-Tannen, Peter Buneman Department of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104{6389, USA val, peter @cis.upenn.edu Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:16 Mathematics Algebra Mathematical logic Relational model Models of computation Logic in computer science Database theory Lambda calculus Relational algebra Tuple Finitary relation Combinatory logic
147	Constructing Digital-to-Analog Converters and Lambda Calculus Using Die Ike Antkare International Institute of Technology United Slates of Earth Add to Reading List Source URL: membres-lig.imag.fr Language: English - Date: 2014-01-09 04:24:29 Chivalry Military personnel Actor model Concurrent computing Dwight D. Eisenhower
148	From notation to semantics: there and back again Luca Padovani1 and Stefano Zacchiroli2 1 Information Science and Technology Institute, University of Urbino Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-28 05:00:45 Logic Mathematics Abstraction Mathematical logic Mathematical notation Predicate logic Elementary mathematics Metalogic Substitution Term Lambda calculus Structure
149	to appear in TCS – www.wischik.com/lu/research/explicit-fusions.html Explicit Fusions Lucian Wischik1 and Philippa Gardner2 1 2 Add to Reading List Source URL: www.wischik.com Language: English - Date: 2004-02-23 13:34:35 Theoretical computer science Mathematical logic Logic Formal methods Logic in computer science Process calculi -calculus Automated theorem proving Process calculus Lambda calculus Bisimulation Limit of a function
150	Chapter 2 Untyped Lambda Calculus We assume the existence of a denumerable set VAR of (object) variables x0 , x1 , x2 , . . ., and use x, y, z to range over these variables. Given two variables x1 and x2 , we write x1 = Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-12-10 13:51:51 Theoretical computer science Logic Mathematics Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Lambda calculus Term Relationships among probability distributions Centripetal CatmullRom spline

UPDATE