Beta normal form - PDFSEARCH.IO - Document Search Engine

Beta normal form
Results: 4

#	Item
1	02157 Functional programming Michael R. Hansen DTU Informatics November 24, 2011 Revised October 21, 2013 Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-10-21 08:25:00 Lambda calculus Combinatory logic Lambda calculus definition Reduction strategy Free variables and bound variables Lambda Fixed-point combinator Anonymous function Term Variable Beta normal form
2	BRICS RSBiernacka & Danvy: A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2006-02-02 19:43:31 Applied mathematics Models of computation Computability theory Explicit substitution Reduction strategy Operational semantics Beta normal form Overlap Formal language Mathematics Theoretical computer science Lambda calculus
3	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
4	Visualizing the Turing Tarpit Jason Hemann Eric Holk Indiana University Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2013-07-06 00:24:10 Applied mathematics Iota and Jot Combinatory logic Beta normal form Evaluation strategy Jot Binary lambda calculus Reduction strategy Lambda Lambda calculus Theoretical computer science Mathematical logic