Normalisation by evaluation - PDFSEARCH.IO - Document Search Engine

Normalisation by evaluation
Results: 38

#	Item
1	Fundamenta Informaticae–19 1 IOS Press Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-08-15 15:31:55 Logic programming Type theory Dependently typed programming Programming language theory Automated theorem proving Higher-order abstract syntax Lambda calculus Substitution Standard ML Env Normalisation by evaluation
2	Microsoft Word - Midlands Graduate School 2009.doc Add to Reading List Source URL: www.cs.le.ac.uk Language: English - Date: 2009-03-25 09:18:02 Lambda calculus Normalisation by evaluation
3	Self-Representation in Girard’s System U Keywords Lambda Calculus; Self Representation; Types 1. Add to Reading List Source URL: compilers.cs.ucla.edu Language: English - Date: 2015-01-10 19:46:17 Type theory Models of computation Symbol Lambda calculus Greek alphabet Type constructor Curry–Howard correspondence Normalisation by evaluation Theoretical computer science Mathematics Computer science
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	Normalization by Evaluation in the Delay Monad A Case Study for Coinduction via Copatterns and Sized Types Andreas Abel James Chapman Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-04-10 20:31:05 Lambda calculus Normalisation by evaluation Proof theory
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	Distance Makes the Types Grow Stronger: A Calculus for Diﬀerential Privacy (Extended Version) Jason Reed∗ Benjamin Pierce Add to Reading List Source URL: privacy.cis.upenn.edu Language: English - Date: 2012-01-30 20:07:59 Mathematical analysis Symbol Continuous function Valuation Programming language semantics Orbifold Normalisation by evaluation Abstract algebra Mathematics Algebraic geometry
8	On η-Expansion in NbE and Type Casts Andreas Abel Department of Computer Science Ludwig-Maximilians-University Munich 13 October 2011 Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-10-13 14:43:05 Mathematical logic Normalisation by evaluation Database normalization Ordered pair Data management Mathematics Lambda calculus Type theory
9	Gradual Typing for Functional Languages Jeremy G. Siek Walid Taha University of Colorado Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:37 Models of computation Type theory Symbol Dynamical system Lambda calculus Type safety Programming Computable Functions Normalisation by evaluation Theoretical computer science Computer science Software engineering