Proof of local confluence of the evQ-calculus (1995)

by Jean Goubault-Larrecq