TERMGRAPH 2014 VSL PROCEEDINGS

Editors: Aart Middeldorp and Femke van Raamsdonk

Authors	Title	Paper	Talk
Ian Mackie	Numeral Systems in the Lambda Calculus		Jul 13 09:15
Samuel Mimram	An Introduction to Higher-Dimensional Rewriting Theory		Jul 13 14:30
Susumu Yamasaki	Fixed Point Theory for Consistent Rewriting in Logic of Action with Reverse		Jul 13 17:00
Sergio Antoy, Jacob Johannsen and Steven Libby	Needed Computations Shortcutting Needed Steps		Jul 13 10:45
Giulio Guerrieri, Luc Pellissier and Lorenzo Tortora De Falco	Injectivity of Relational Semantics for (Connected) MELL Proof-Nets via Taylor Expansion		Jul 13 15:30
Naohi Eguchi	Proving Termination of Unfolding Graph Rewriting for General Safe Recursion		Jul 13 11:15
Clemens Grabmayer and Vincent van Oostrom	Nested Term Graphs		Jul 13 11:45
Ian Mackie and Shinya Sato	An Implementation Model for Interaction Nets		Jul 13 16:30