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…