Coherence and Consistency in Domains

Coherence and Consistency in Domains
Carl A. Gunter and Achim Jung
Journal of Pure and Applied Algebra, volume 63, pages 49-66, 1990.

Last updated on Thursday, June 26, 2014, 12:46 pm