Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday - Lecture Notes in Computer Science 3838 (Paperback)
  • Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday - Lecture Notes in Computer Science 3838 (Paperback)
zoom

Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday - Lecture Notes in Computer Science 3838 (Paperback)

(volume editor), (volume editor), (volume editor), (volume editor)
£103.50
Paperback 642 Pages / Published: 13/12/2005
  • Not available

This product is currently unavailable.

  • This item has been added to your basket
This Festschrift is dedicated to Jan Willem Klop on the occasion of his 60th birthdayon December 19,2005.Its focus is on the lambda calculus, term rewr- ing and process algebra, the ?elds where Jan Willem has made fundamental contributions. Without attempting to give a balanced account of Jan Willem's scienti?c achievements, we recall three accomplishments from the early years of his career that especially stand out. The ?rst is his counterexample showing that the extension of the lambda calculus with surjective pairing lacks the Church-Rosserproperty,or, in modern terminology, is not con?uent [7,9]. This settled a famous open problem, which had challenged several researchers in the lambda calculus community for years. The secondis his pioneeringworkintermrewriting.In hisPhDthesis[9],Jan Willem gave a systematic study of orthogonal rewriting in the general setting of combinatoryreductionsystems(CRSs),therebyputtingtheareasofhigher-order rewriting and orthogonality ?rmly on the map. Some of the ideas in the thesis trace back to the famous Blue Preprint [2], from the period that Jan Willem and some other students were graduating in mathematics and logic, under the supervision of Dirk van Dalen and Henk Barendregt. The third feat is the creation, together with Jan Bergstra [23], of the algebra of communicating processes (ACP). With his early work,Jan Willem provided inspiration for many years of fru- ful research, continuing to this day. For decades he has been a creative and stimulating force in the areas of term rewriting and process algebra. Some of his recent interests are in?nitary rewriting, graph rewriting and the geometry of processes.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540309116
Number of pages: 642
Weight: 2020 g
Dimensions: 233 x 155 x 33 mm
Edition: 2005 ed.

You may also be interested in...

Logicomix
Added to basket
£16.99
Paperback
Maths in Minutes
Added to basket
Mental Arithmetic 4 Answers
Added to basket
Mental Arithmetic 3 Answers
Added to basket
Mental Arithmetic 5
Added to basket
Mental Arithmetic 6
Added to basket
Mental Arithmetic 6 Answers: No. 6
Added to basket
Chaos
Added to basket
£10.99
Paperback
Game Theory: A Very Short Introduction
Added to basket
How to Pass Higher Maths
Added to basket
£11.99   £9.99
Paperback
The Signal and the Noise
Added to basket
£10.99   £8.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.