Infinitary rewriting and streams

This is the contribution of Hans Zantema to the International School of Rewriting, hold in Paris in July 2019. For an overview of the contribution and references we refer to the ISR web site .

The contribution consists of the following three parts:

• Slides on infinitary rewriting
• Slides on morphic streams and turtle visualization
• Slides on proving properties of streams like well-definedness and equality

Last change: June 21, 2019