Coherence and Consistency in Domains (Extended Outline)

Carl A. Gunter, Achim Jung

Browse the full LICS paper archive.