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