Combinatory Reduction Systems
Questo ebook potrebbe non soddisfare gli standard di accessibilità e non essere pienamente compatibile con le tecnologie assistive.
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.
Dettagli
- Data di pubblicazione
- Oct 26, 2011
- Lingua
- English
- Categoria
- Medicina & scienza
- Copyright
- Tutti i diritti riservati - Licenza di copyright standard
- Collaboratori
- Di (autore): Jan Willem Klop
Specifiche
- Formato