Application of Church-Rosser Properties to Increase the Parallelism and Efficiency of Algorithms.

Mariangiola Dezani-Ciancaglini, Maddalena Zacchi

Browse the full ICALP paper archive.