Workshop on Thirty Five years of Automath
Accepted long papers
Arnon Avron (Tel Aviv, Israel):
Transitive Closure and Inductive Reasoning
Mirna Bognar and Roel de Vrijer (Amsterdam, NL):
The lambda cube with contexts
Michael Franssen (Eindhoven, NL)
Hoare Logic with Explicit Contexts
Jamie Gabbay (Cambridge, UK):
FM-HOL, a Higher-Order theory of names
Mohamed Mezghiche (Boumerdes, Algeria) and Choukri Ben-Yelles (Valence, FR):
Elambda: A higher order logic extension of untyped lambda calculus
Christophe Raffalli and Rene David (Savoie, FR):
Computer Assisted Teaching in Mathematics