Results 1 -
2 of
2
Rewriting Systems
, 1999
"... reduction systems . . . . . . . . . . . . . . . . . . . . 11 1.6 Properties of arss . . . . . . . . . . . . . . . . . . . . . . . . . 13 2 Lambda calculus and combinatory logic 17 2.1 Lambda terms . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 2.2 The rewrite rules . . . . . . . . . . . . ..."
Abstract
-
Cited by 2 (0 self)
- Add to MetaCart
reduction systems . . . . . . . . . . . . . . . . . . . . 11 1.6 Properties of arss . . . . . . . . . . . . . . . . . . . . . . . . . 13 2 Lambda calculus and combinatory logic 17 2.1 Lambda terms . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 2.2 The rewrite rules . . . . . . . . . . . . . . . . . . . . . . . . . . 18 2.3 Rewrite strategies and confluence . . . . . . . . . . . . . . . . . 20 2.4 The power of lambda calculus . . . . . . . . . . . . . . . . . . . 22 2.5 Combinatory logic . . . . . . . . . . . . . . . . . . . . . . . . . 23 3 Term rewriting systems 29 3.1 Terms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30 3.2 Subterms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31 3.3 Substitutions . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32 3.4 Term rewriting systems . . . . . . . . . . . . . . . . . . . . . . 33 3.5 Critical pairs . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 4 Termination 43 4.1 Polynomial int...
Rewriting Systems
"... reduction systems . . . . . . . . . . . . . . . . . . . . 15 1.6 Properties of arss . . . . . . . . . . . . . . . . . . . . . . . . . 16 2 Lambda calculus and combinatory logic 21 2.1 Lambda terms . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 2.2 The rewrite rules . . . . . . . . . . . ..."
Abstract
- Add to MetaCart
reduction systems . . . . . . . . . . . . . . . . . . . . 15 1.6 Properties of arss . . . . . . . . . . . . . . . . . . . . . . . . . 16 2 Lambda calculus and combinatory logic 21 2.1 Lambda terms . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 2.2 The rewrite rules . . . . . . . . . . . . . . . . . . . . . . . . . . 22 2.3 Rewrite strategies and confluence . . . . . . . . . . . . . . . . . 24 2.4 The power of lambda calculus . . . . . . . . . . . . . . . . . . . 25 2.5 Combinatory logic . . . . . . . . . . . . . . . . . . . . . . . . . 27 3 Term rewriting systems 33 3.1 Terms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 3.2 Subterms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 3.3 Substitutions . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36 3.4 Term rewriting systems . . . . . . . . . . . . . . . . . . . . . . 37 3.5 Critical pairs . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 4 Termination 45 4.1 Polynomi...
