Processes, Terms and Cycles: Steps on the Road to Infinity: by Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk,
By Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel de Vrijer
This Festschrift is devoted to Jan Willem Klop at the celebration of his sixtieth birthday. the quantity contains a complete of 23 medical papers by means of shut pals and associates, written particularly for this ebook. The papers are varied in nature: a few record on new learn, others have the nature of a survey, and back others are typically expository. each contribution has been completely refereed at the least two times. in lots of situations the 1st around of referee reviews resulted in major revision of the unique paper, which was once back reviewed. The articles specially concentration upon the lambda calculus, time period rewriting and strategy algebra, the fields to which Jan Willem Klop has made basic contributions.