Lambda - PDFSEARCH.IO - Document Search Engine

Lambda
Results: 2778

#	Item
661	BRICS RS-05-4 Filinski & Rohde: Denotational Aspects of Untyped Normalization by Evaluation BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-04-13 07:44:53 Computer science Models of computation Applied mathematics Logic in computer science Normalisation by evaluation Denotational semantics De Bruijn index Symbol Administrative normal form Theoretical computer science Lambda calculus Programming language semantics
662	On the Formal Semantics of IF-like Logics Santiago Figueira∗ Daniel Gor´ın∗ Rafael Grimson† Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2008-07-19 15:45:01 Model theory Philosophical logic Semantics Non-classical logic First-order logic Interpretation Lambda calculus Independence-friendly logic FO Logic Mathematical logic Mathematics
663	Queue-based Multi-processing Lisp Richard P. Gabriel John McCarthy Stanford University Add to Reading List Source URL: www.dreamsongs.com Language: English - Date: 2012-08-04 15:56:35 Lisp programming language Functional programming Functional languages Lambda calculus Lisp Subroutines Closure Eval Cons Software engineering Computing Computer programming
664	Modal properties of recursively defined commands Paul Blain Levy, University of Birmingham And {s.As }s∈A∗ means: A recent paper (“Seeing Beyond Divergence”, Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-07-23 07:52:00 Models of computation Order theory Philosophical logic Computability theory Equivalence relation Lambda calculus Preorder Modal logic Denotational semantics Mathematics Logic Mathematical logic
665	Clojure and Modularity Philly Lambda Tuesday, July 21, 2009 Stuart Sierra http://stuartsierra.com/ Add to Reading List Source URL: stuartsierra.com Language: English - Date: 2009-07-22 11:08:54 Subroutines Functional languages Clojure Method Main function Constructor Parameter Lisp D Software engineering Computing Computer programming
666	Randomness and Universal Machines Santiago Figueira∗ Frank Stephan† Guohua Wu‡ Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2007-07-08 19:57:54 Computer science Turing machine Formal methods Models of computation Turing degree Recursively enumerable set Computability Μ-recursive function Lambda calculus Computability theory Theoretical computer science Theory of computation
667	Combinators for Bi-Directional Tree Transformations: A Linguistic Approach to the View Update Problem J. NATHAN FOSTER University of Pennsylvania MICHAEL B. GREENWALD Bell Labs, Lucent Technologies Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-01-16 16:08:21 Mathematics Combinatory logic Fixed-point combinator Recursion Camera lens Theoretical computer science Lambda calculus Applied mathematics
668	Soundness of embeddings in the λΠ-calculus modulo rewriting Ali Assaf Deducteam, Inria Paris-Rocquencourt École Polytechnique Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2014-12-18 18:53:18 Logic Logic in computer science Dependently typed programming Lambda calculus Proof theory Curry–Howard correspondence First-order logic Logical framework System F Mathematical logic Theoretical computer science Type theory
669	Abstract syntax for variable binders: An overview Dale Miller Department of Computer Science and Engineering 220 Pond Laboratory, The Pennsylvania State University University Park, PAUSA Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-11-03 10:29:10 Lambda calculus Logic programming Type theory Predicate logic ΛProlog Unification Free variables and bound variables Simply typed lambda calculus Higher-order abstract syntax Logic Mathematics Theoretical computer science

UPDATE