Binary lambda calculus - PDFSEARCH.IO - Document Search Engine

Binary lambda calculus
Results: 23

#	Item
1	Partial Type Equivalences for Verified Dependent Interoperability ∗ Pierre-Evariste Dagand Nicolas Tabareau Add to Reading List Source URL: pleiad.dcc.uchile.cl Language: English - Date: 2016-05-27 18:01:04 Type theory Equivalence relation Dependent type Preorder Homotopy type theory Monad Equivalence of categories Partial equivalence relation Type system Category Binary relation Lambda calculus
2	Internal draft. Available online from http://www.cl.cam.ac.uk/∼ljw1004 Symmetric action calculi Philippa Gardner and Lucian J. Wischik Add to Reading List Source URL: www.wischik.com Language: English - Date: 2001-08-20 15:53:16 Theoretical computer science Computability theory Logic in computer science Lambda calculus Process calculi Combinatory logic -calculus Substitution Group action Binary relation Equivalence relation FO
3	The Why of Y Richard P. Gabriel Lucid, Inc. and Stanford University Did you ever wonder how Y works and how anyone could ever have thought of it? In this note I’ll try to explain to you not only how it works, but how s Add to Reading List Source URL: www.dreamsongs.com Language: English - Date: 2012-08-04 16:00:09 Declarative programming Fixed-point combinator Closure Function Combinatory logic Currying Factorial Binary lambda calculus Mathematics Lambda calculus Software engineering
4	Decision Procedures for Algebraic Data Types with Abstractions Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-11-10 09:06:44 Model theory Predicate logic Ground expression First-order logic Binary tree Lambda calculus Interpretation Function Tree Mathematical logic Mathematics Logic
5	Lambda in Java Olena Syrota, Kyiv Pre-production Java Lab Lead Java 8 • Issue is planned for summer of 2013 Add to Reading List Source URL: pti.kpi.ua Language: English - Date: 2013-01-30 10:27:19 Subroutines Lambda calculus Functional programming Anonymous function Closure Lambda Function Binary lambda calculus Continuation-passing style Software engineering Declarative programming Computing
6	Godelisation in the untyped lambda calculus Torben . Mogensen DIKU, University of Copenhagen, Denmark email: Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:40 Mathematics Normalisation by evaluation Combinatory logic Simply typed lambda calculus Beta normal form Variance Lambda Sedenion Binary lambda calculus Lambda calculus Theoretical computer science Applied mathematics
7	http://wedesoft.de/downloads/cambridge2014.pdf Fundamentals of Computing c 2014 Jan Wedekind, Digital Science Add to Reading List Source URL: www.wedesoft.de Language: English Computing Higher-order functions Computability theory Theoretical computer science Church encoding Scheme Fold Binary lambda calculus Lambda calculus Software engineering Declarative programming
8	Document number: N2510=Alisdair Meredith on behalf of BSI PanelBSI Position on Lambda Functions Background Add to Reading List Source URL: www.open-std.org Language: English - Date: 2008-02-04 01:08:24 Lambda calculus Subroutines Anonymous function Functional programming Closure C++11 C++ Lambda Binary lambda calculus Software engineering Computing Computer programming
9	The Spider Calculus Computing in Active Graphs Benjamin C. Pierce University of Pennsylvania Add to Reading List Source URL: dmwit.com Language: English - Date: 2010-08-11 18:23:14 Lambda calculus Process calculi Π-calculus Calculus Binary tree Combinatory logic Church encoding Graph FO Mathematics Theoretical computer science Applied mathematics
10	g01 – Simple Calculations on Statistical Data g01gcc NAG C Library Function Document nag_prob_non_central_chi_sq (g01gcc) Add to Reading List Source URL: www.softintegration.com Language: English - Date: 2004-10-25 19:49:07 Measurement Probability and statistics Binary lambda calculus Poisson distribution Statistics Lambda Poisson processes