Coherence and Consistency in Domains

Coherence and Consistency in Domains
Carl A. Gunter and Achim Jung
Logic in Computer Science (LICS ’08), pages 309-317, Edinburgh, Scotland, July 1988.

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