WIR 2014 EXTENDED ABSTRACTS: AUTHOR INDEX

Shortcuts: E H K P S V Z

E
Endrullis, Joerg	An Introduction to the Clocked Lambda Calculus (PDF, talk)
H
He, Fanny	From the finite to the transfinite: Λμ-terms and streams. (PDF, talk)
Hendriks, Dimitri	An Introduction to the Clocked Lambda Calculus (PDF, talk)
K
Kahrs, Stefan	Normal Forms and Infinity (PDF)
Klop, Jan Willem	An Introduction to the Clocked Lambda Calculus (PDF, talk)
P
Pagani, Michele	Work in Progress: Algebraic Abstract Reduction Systems (PDF, talk)
Polonsky, Andrew	An Introduction to the Clocked Lambda Calculus (PDF, talk)
S
Saurin, Alexis	From the finite to the transfinite: Λμ-terms and streams. (PDF, talk)
Simonsen, Jakob Grue	Dynamical systems, attractors and well-behaved infinitary rewriting (PDF, talk)
Smith, Connor	Normal Forms and Infinity (PDF)
V
Valiron, Benoît	Work in Progress: Algebraic Abstract Reduction Systems (PDF, talk)
Z
Zantema, Hans	Turtle graphics of morphic streams (PDF, talk)