De Bruijn index - PDFSEARCH.IO - Document Search Engine

De Bruijn index
Results: 29

#	Item
1	135 Documenta Math. Erratum to the paper “Absolute Continuity of the Spectrum Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2004-04-25 15:08:41 Spectral theory Mathematics Mathematical analysis Linear algebra Operator theory Ordinary differential equations Representation theory of Lie groups De Bruijn index Spectral theory of compact operators
2	Self-applicable Partial Evaluation for Pure Lambda Calculus Torben Æ. Mogensen DIKU, University of Copenhagen, Denmark Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:54 Lambda calculus Combinatory logic Church encoding Fixed-point combinator Anonymous function Higher-order abstract syntax Type system Unification De Bruijn index Lambda calculus definition
3	Exercise sheet High Throughput Sequencing Methods Bioinformatics Leipzig WS 13/14 Exercise sheet Add to Reading List Source URL: www.bioinf.uni-leipzig.de Language: English - Date: 2014-01-08 11:43:46 Arrays Suffix array Suffix tree Burrows–Wheeler transform Substring FM-index String De Bruijn Computing Computer programming Mathematics
4	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
5	Closing the Stage From Staged Code to Typed Closures Yukiyoshi Kameyama Oleg Kiselyov Add to Reading List Source URL: okmij.org Language: English - Date: 2007-12-01 03:56:46 Mathematics Ordinary differential equations Spectral theory Mathematical analysis Spectral theory of ordinary differential equations Curry–Howard correspondence Symbol De Bruijn index Valuation
6	Constructive Computation Theory G´ erard Huet An executable computability theory course based on λ-calculus Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2011-08-11 17:16:11 Lambda calculus Formal methods Theoretical computer science Type theory Models of computation De Bruijn index Free variables and bound variables Combinatory logic Hindley–Milner Software engineering Mathematics Computing
7	A Lambda Term Representation Inspired by Linear Ordered Logic Andreas Abel Nicolai Kraus Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-07-29 14:17:24 Lambda calculus Logic in computer science Proof theory Computability theory De Bruijn index Combinatory logic Curry–Howard correspondence Weight Free variables and bound variables Mathematics Theoretical computer science Mathematical logic
8	Pricing and Queueing Christian Borgs (MSR-NE) Jennifer T. Chayes (MSR-NE) Sherwin Doroudi (CMU-Tepper) Mor Harchol-Balter (CMU-CS) Kuang Xu (MIT-LIDS) Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-11-24 17:18:36 Poisson processes Exponential distribution M/M/1 queue De Bruijn index Lambda calculus Statistics Stochastic processes Spectral theory
9	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) A verified framework for higher-order uncurrying optimizations Zaynah Dargaye · Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-12-15 04:00:36 Mathematics Functional programming Functions and mappings Currying Partial application Symbol Function Combinatory logic De Bruijn index Declarative programming Lambda calculus Software engineering