VSL 2014: VIENNA SUMMER OF LOGIC 2014

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

Disclaimer | Powered by EasyChair Smart Program