Search Results: ''

Search

×
×
×
×
4 results for ""
Combinatory Reduction Systems By Jan Willem Klop
eBook (PDF): $0.00
Download immediately.
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... More > non-left-linear rewriting is included, and likewise on standardization for lambda-beta-eta-calculus. 330 pages.< Less
Ten Topics in Term Rewriting v2 By Jan Willem Klop
eBook (PDF): $0.00
Download immediately.
Lectures in the theory of term rewriting, presented at the Logic Colloquium 1999 in Utrecht, the Netherlands, by Jan Willem Klop. Various aspects of term rewriting are covered: abstract reduction... More > systems, orthogonal term rewriting systems, infinitary term rewriting systems, lambda calculus and combinatory logic, higher order rewrite systems.< Less
Combinatory Reduction Systems By Jan Willem Klop
Paperback: $20.28
Ships in 3-5 business days.
Ph.D. Thesis of Jan Willem Klop, 1980, developing theory for abstract reduction systems, orthogonal rewrite systems, higher order rewrite systems, with a chapter on non-left-linear rewrite systems,... More > and a chapter on standardization for lambda-beta-eta-calculus.< Less
Liber Amicorum for Roel de Vrijer By Jan Willem Klop, Vincent van Oostrom, Femke van Raamsdonk
eBook (PDF): $0.00
Download immediately.
Letters and essays dedicated to Roel de Vrijer on the occasion of his 60th birthday; september 11, 2009. Editors: Jan Willem Klop, Vincent van Oostrom, Femke van Raamsdonk.