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
Citations:29 - 7 self

Document Versions

Domains and Denotational Semantics: History, Accomplishments and Open Problems –Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark — 1996
Domains and Denotational Semantics: History, Accomplishments and Open Problems –Achim Jung , Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Ian Stark — 1996