Combinatory Reduction Systems
Es posible que este libro digital no cumpla las normas de accesibilidad y no sea totalmente compatible con las tecnologías de asistencia.
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.
Detalles
- Fecha de publicación
- Oct 26, 2011
- Idioma
- English
- Categoría
- Ciencia y medicina
- Copyright
- Todos los derechos reservados - Licencia estándar de copyright
- Contribuyentes
- Por (autor o autora): Jan Willem Klop
Especificaciones
- Formato