Combinatory Reduction Systems
Cet ebook peut ne pas être conforme aux normes d'accessibilité et ne pas être totalement compatible avec les technologies d'assistance.
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.
Détails
- Date de publication
- Oct 26, 2011
- Langue
- English
- Catégorie
- Médecine & sciences
- Copyright
- Tous droits réservés - Licence de copyright standard
- Contributeurs
- Par (auteur): Jan Willem Klop
Caractéristiques
- Format