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,
}











