Mitchell Wand, Gregory T. Sullivan
Denotational Semantics Using an Operationally-Based Term Model
POPL, 1997.
@inproceedings{POPL-1997-WandS, author = "Mitchell Wand and Gregory T. Sullivan", booktitle = "{Conference Record of the 24th Symposium on Principles of Programming Languages}", doi = "10.1145/263699.263755", editor = "Peter Lee and Fritz Henglein and Neil D. Jones", isbn = "0-89791-853-3", pages = "386--399", publisher = "{ACM Press}", title = "{Denotational Semantics Using an Operationally-Based Term Model}", year = 1997, }