A Mechanically Certified Theorem about Optimal Concurrency of Sorting Networks.

Christian Lengauer, Chua-Huang Huang

Browse the full POPL paper archive.