Normal Forms and Infinity
Authors: Stefan Kahrs and Connor Smith
Paper Information
| Title: | Normal Forms and Infinity |
| Authors: | Stefan Kahrs and Connor Smith |
| Proceedings: | WIR 2014 Extended Abstracts |
| Editor: | Hans Zantema |
| Keywords: | normal form, constructors, CPO, substitutions, infinitary rewriting |
| Abstract: | ABSTRACT. We reconsider the notion of normal form for infinitary rewriting, especially w.r.t. relations that "extend to the left". One useful notion is that of a pseudo-constructor, a term with a co-inductive formation principle. |
| Pages: | 0 |
| Paper: |  |