Domains and Denotational Semantics: History, Accomplishments and Open Problems (1996)

by Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark