WIR 2014 EXTENDED ABSTRACTS: PAPERS WITH ABSTRACTS

Editor: Hans Zantema

Authors, Title and Abstract	Paper	Talk
Joerg Endrullis, Dimitri Hendriks, Jan Willem Klop and Andrew Polonsky An Introduction to the Clocked Lambda Calculus		Jul 12 16:30
Fanny He and Alexis Saurin From the finite to the transfinite: Λμ-terms and streams.		Jul 12 15:00
Stefan Kahrs and Connor Smith Normal Forms and Infinity 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.
Jakob Grue Simonsen Dynamical systems, attractors and well-behaved infinitary rewriting		Jul 12 14:30
Benoît Valiron and Michele Pagani Work in Progress: Algebraic Abstract Reduction Systems		Jul 12 17:00
Hans Zantema Turtle graphics of morphic streams		Jul 12 17:30