Stavros S. Cosmadakis. Complete Proof Systems for Algebraic Simply-Typed Terms. In LISP and Functional Programming. pages 220-226, 1994. [doi]
@inproceedings{Cosmadakis94,
title = {Complete Proof Systems for Algebraic Simply-Typed Terms},
author = {Stavros S. Cosmadakis},
year = {1994},
doi = {10.1145/182409.182482},
url = {http://doi.acm.org/10.1145/182409.182482},
tags = {completeness, type system, algebra},
researchr = {https://researchr.org/publication/Cosmadakis94},
cites = {0},
citedby = {0},
pages = {220-226},
booktitle = {LISP and Functional Programming},
}