![](/img/cover-not-exists.png)
[ACM Press the 1994 ACM conference - Orlando, Florida, United States (1994.06.27-1994.06.29)] Proceedings of the 1994 ACM conference on LISP and functional programming - LFP '94 - Complete proof systems for algebraic simply-typed terms
Cosmadakis, Stavros S.Year:
1994
Language:
english
DOI:
10.1145/182409.182482
File:
PDF, 433 KB
english, 1994