TERMGRAPH ON SUNDAY, JULY 13TH: TALK VIEW

View: with abstracts session overview side by side with other conferences

9:30

10:00

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

17:00

17:30

09:15-10:15

Numeral Systems in the Lambda Calculus

Ian Mackie

09:15-10:15

Numeral Systems in the Lambda Calculus

Ian Mackie

10:45-11:15

Needed Computations Shortcutting Needed Steps

Sergio Antoy, Jacob Johannsen, Steven Libby

11:15-11:45

Proving Termination of Unfolding Graph Rewriting for General Safe Recursion

Naohi Eguchi

11:45-12:15

Nested Term Graphs

Clemens Grabmayer, Vincent van Oostrom

14:30-15:30

An Introduction to Higher-Dimensional Rewriting Theory

Samuel Mimram

14:30-15:30

An Introduction to Higher-Dimensional Rewriting Theory

Samuel Mimram

15:30-16:00

Injectivity of Relational Semantics for (Connected) MELL Proof-Nets via Taylor Expansion

Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora De Falco

16:30-17:00

An Implementation Model for Interaction Nets

Ian Mackie, Shinya Sato

17:00-17:30

Fixed Point Theory for Consistent Rewriting in Logic of Action with Reverse

Susumu Yamasaki

10:15-10:45 Coffee Break

13:00-14:30 Lunch Break

16:00-16:30 Coffee Break