Mitchell Wand. Embedding Type Structure in Semantics. In POPL. pages 1-6, 1985.
@inproceedings{Wand85:0, title = {Embedding Type Structure in Semantics}, author = {Mitchell Wand}, year = {1985}, tags = {semantics}, researchr = {https://researchr.org/publication/Wand85%3A0}, cites = {0}, citedby = {0}, pages = {1-6}, booktitle = {POPL}, }