Processes, Terms and Cycles: Steps on the Road to Infinity
Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday
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…
Mehr
CHF 158.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: de Vrijer, Roel (Hrsg.) / Raamsdonk, Femke van (Hrsg.) / Oostrom, Vincent van (Hrsg.)
- ISBN: 978-3-540-30911-6
- EAN: 9783540309116
- Produktnummer: 1887646
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 2005
- Seitenangabe: 660 S.
- Masse: H23.5 cm x B15.5 cm x D3.5 cm 984 g
- Auflage: 2005
- Abbildungen: Paperback
- Gewicht: 984
9 weitere Werke von Aart (Hrsg.) Middeldorp:
Bewertungen
Anmelden