Combinatory Reduction Systems
This ebook may not meet accessibility standards and may not be fully compatible with assistive technologies.
Ph.Thesis of Jan Willem Klop, 1980. Develops the theory of orthogonal first order term rewriting systems,
and introduces the higher-order frameork of Combinatory reduction Systems. A chapter on non-left-linear rewriting is included, and likewise on standardization for lambda-beta-eta-calculus. 330 pages.
Details
- Publication Date
- Oct 26, 2011
- Language
- English
- Category
- Science & Medicine
- Copyright
- All Rights Reserved - Standard Copyright License
- Contributors
- By (author): Jan Willem Klop
Specifications
- Format