ENGLISH

Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday

By Robin Milner (auth.) , Aart Middeldorp , Vincent van Oostrom , Femke van Raamsdonk , Roel de Vrijer (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2005
ISBN
978-3-540-30911-6, 978-3-540-32425-6
DOI
10.1007/11601548
Language
english
Format
PDF
Filesize
14 MB (14379463 bytes)
Series
Lecture Notes in Computer Science 3838
Edition
1
Pages
642\654
Orientation
yes
Scanned
yes
Time added
2013-08-01 04:00:00
Mathematical Logic and Formal Languages; Logics an

Description

This Festschrift is dedicated to Jan Willem Klop on the occasion of his 60th birthday. The volume comprises a total of 23 scientific papers by close friends and colleagues, written specifically for this book. The papers are different in nature: some report on new research, others have the character of a survey, and again others are mainly expository. Every contribution has been thoroughly refereed at least twice. In many cases the first round of referee reports led to significant revision of the original paper, which was again reviewed. The articles especially focus upon the lambda calculus, term rewriting and process algebra, the fields to which Jan Willem Klop has made fundamental contributions.

Similar books