Ernie Manes. Assertional Categories. In Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt, editors, Mathematical Foundations of Programming Language Semantics, 3rd Workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987, Proceedings. Volume 298 of Lecture Notes in Computer Science, pages 85-120, Springer, 1987.
@inproceedings{Manes87,
title = {Assertional Categories},
author = {Ernie Manes},
year = {1987},
researchr = {https://researchr.org/publication/Manes87},
cites = {0},
citedby = {0},
pages = {85-120},
booktitle = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987, Proceedings},
editor = {Michael G. Main and Austin Melton and Michael W. Mislove and David A. Schmidt},
volume = {298},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-19020-1},
}