Extensional Confluences and Local Closure Operators.

Henry Soldano

Browse the full ICFCA paper archive.