TERMGRAPH 2014 VSL PROCEEDINGS: AUTHOR INDEX

Shortcuts: A E G J L M P S T V Y

A
Antoy, Sergio	Needed Computations Shortcutting Needed Steps (PDF, talk)
E
Eguchi, Naohi	Proving Termination of Unfolding Graph Rewriting for General Safe Recursion (PDF, talk)
G
Grabmayer, Clemens	Nested Term Graphs (PDF, talk)
Guerrieri, Giulio	Injectivity of Relational Semantics for (Connected) MELL Proof-Nets via Taylor Expansion (PDF, talk)
J
Johannsen, Jacob	Needed Computations Shortcutting Needed Steps (PDF, talk)
L
Libby, Steven	Needed Computations Shortcutting Needed Steps (PDF, talk)
M
Mackie, Ian	Numeral Systems in the Lambda Calculus (PDF, talk) An Implementation Model for Interaction Nets (PDF, talk)
Mimram, Samuel	An Introduction to Higher-Dimensional Rewriting Theory (PDF, talk)
P
Pellissier, Luc	Injectivity of Relational Semantics for (Connected) MELL Proof-Nets via Taylor Expansion (PDF, talk)
S
Sato, Shinya	An Implementation Model for Interaction Nets (PDF, talk)
T
Tortora De Falco, Lorenzo	Injectivity of Relational Semantics for (Connected) MELL Proof-Nets via Taylor Expansion (PDF, talk)
V
van Oostrom, Vincent	Nested Term Graphs (PDF, talk)
Y
Yamasaki, Susumu	Fixed Point Theory for Consistent Rewriting in Logic of Action with Reverse (PDF, talk)