Jon G. Riecke, Ramesh Subrahmanyam. Algebraic Reasoning and Completeness in Typed Languages. In Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. pages 185-195, 1993.
@inproceedings{ReickeS93,
title = {Algebraic Reasoning and Completeness in Typed Languages},
author = {Jon G. Riecke and Ramesh Subrahmanyam},
year = {1993},
tags = {completeness, algebra},
researchr = {https://researchr.org/publication/ReickeS93},
cites = {0},
citedby = {0},
pages = {185-195},
booktitle = {Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
}