The Denotional Semantics of Nondeterministic Recursive Programs using Coherent Relations

David A. Plaisted

Browse the full LICS paper archive.