## Stavros S. Cosmadakis

*Complete Proof Systems for Algebraic Simply-Typed Terms*

LISP, 1994.

@inproceedings{LFP-1994-Cosmadakis, author = "Stavros S. Cosmadakis", booktitle = "{Proceedings of the 1994 ACM Conference on LISP and Functional Programming}", doi = "10.1145/182409.182482", isbn = "0-89791-643-3", pages = "220--226", publisher = "{ACM Press}", title = "{Complete Proof Systems for Algebraic Simply-Typed Terms}", year = 1994, }