By Robin Milner (auth.), Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel de Vrijer (eds.)
This Festschrift is devoted to Jan Willem Klop at the celebration of his sixtieth birthday. the quantity includes a complete of 23 medical papers through shut associates and associates, written particularly for this e-book. The papers are varied in nature: a few record on new learn, others have the nature of a survey, and back others are frequently expository.
Every contribution has been completely refereed at the least two times. in lots of situations the 1st around of referee studies ended in major revision of the unique paper, which was once back reviewed. The articles in particular concentration upon the lambda calculus, time period rewriting and technique algebra, the fields to which Jan Willem Klop has made primary contributions.