Relational Reasoning about Functions and Nondeterminism
Søren B. Lassen, Olivier Danvy, Glynn Winskel, Jaap van Oosten, Torben Braüner, Peter Ørbæk · 1999
Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS Dissertation Series publications. Copies may be obtained by contacting: BRICS