Jean Krivine (IRIF, Univ. Paris Diderot), Incremental Update for Graph Rewriting

Programme