Normalization property - PDFSEARCH.IO - Document Search Engine

Normalization property
Results: 7

#	Item
1	Type-Directed Partial Evaluation Olivier Danvy Computer Science Department Aarhus University y () Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Computer science Logic in computer science Type theory Data types Subroutines Simply typed lambda calculus Normalization property Combinatory logic Type system Lambda calculus Theoretical computer science Software engineering
2	UNIVERSITY OF MINNESOTA This is to certify that I have examined this copy of a masters thesis by Andrew Jude Gacek Add to Reading List Source URL: www-users.cs.umn.edu Language: English - Date: 2006-12-20 15:47:42 Applied mathematics Explicit substitution Calculus Free variables and bound variables Normalization property Unification Substitution Function Typed lambda calculus Lambda calculus Theoretical computer science Mathematics
3	PDF Document Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2010-12-06 04:43:06 Computing Functional languages Logic in computer science Lisp Combinatory logic ML Normalization property Scope Lambda Programming language theory Software engineering Lambda calculus
4	Towards explicit rewrite rules in the λΠ-calculus modulo Ronan Saillard MINES ParisTech Fontainebleau, France Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-01-27 09:23:05 Mathematics Lambda calculus Type theory Dependently typed programming Unification Twelf Rewriting Calculus of constructions Normalization property Theoretical computer science Logic in computer science Applied mathematics
5	UAX #15: Unicode Normalization Forms Add to Reading List Source URL: www.unicode.org Language: English - Date: 2014-01-30 19:09:50 Precomposed character UTF-8 NFC Combining character Regular expression Script Unicode compatibility characters Unicode character property Character encoding Unicode Unicode equivalence
6	Lecture Notes on the Lambda Calculus Peter Selinger Department of Mathematics and Statistics Add to Reading List Source URL: www.mscs.dal.ca Language: English - Date: 2013-09-21 21:21:50 Mathematics Logic in computer science Theory of computation Type theory Computability theory Simply typed lambda calculus Combinatory logic Typed lambda calculus Normalization property Theoretical computer science Lambda calculus Mathematical logic
7	Lecture Notes on the Lambda Calculus Peter Selinger Department of Mathematics and Statistics Add to Reading List Source URL: www.mathstat.dal.ca Language: English - Date: 2013-09-21 21:21:50 Mathematics Logic in computer science Theory of computation Type theory Computability theory Simply typed lambda calculus Combinatory logic Typed lambda calculus Normalization property Theoretical computer science Lambda calculus Mathematical logic