Linear Logic and logical paradigms of computation (M2 MPRI)

Lecture 11:

Important concepts in rewriting theory: when redexes are created