Documents Normal Forms and Infinity Stefan Kahrs, Connor Smith University of Kent.

Normal Forms and Infinity Normal Forms and Infinity Stefan Kahrs, Connor Smith University of Kent Motivation ...behind this work was not infinitary rewriting at all it was…