Combinatory Reduction Systems
Dieses E-Book entspricht möglicherweise nicht den Standards zur Barrierefreiheit und ist eventuell nicht vollständig mit unterstützenden Technologien kompatibel.
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
- Veröffentlicht am
- Oct 26, 2011
- Sprache
- English
- Kategorie
- Medizin & Wissenschaft
- Copyright
- Alle Rechte vorbehalten - Standard-Urheberrechtslizenz
- Autoren/Mitwirkende
- Von (Autor): Jan Willem Klop
Spezifikationen
- Format