Abstract: The rewriting calculus

Claude Kirchner

The notion of rewrite rule gives rise to several concepts:

The talk will motivate the rewriting calculus and present its properties and some of its modelling capabilities. I will also show how the abstraction mechanism allows us to define type systems that generalise those of the lambda cube. Then the ELAN system that provides a partial implementation of the rewriting calculus will be shortly presented.
This presentation will be based on joint works with Horatiu Cirstea and Luigi Liquori.