ISR 2008

3rd International School on Rewriting

21 – 26 July 2008, Obergurgl, Austria

Program – Track B – An Infinitary Rewriting Primer


Jan Willem Klop


The course aims to give an impression of the state of the art in infinitary rewriting. The focus will be on infinitary first order rewriting, infinitary lambda calculus and extensions, and properties of these systems, notably with respect to infinitary confluence and infinitary normalization.

A selection of the following topics will be presented: