A Data Type Variety of Stack Algebras

J. Bergstra,J. V. Tucker
DOI: https://doi.org/10.1016/0168-0072(94)00038-5
IF: 0.776
1995-05-16
Annals of Pure and Applied Logic
Abstract:
What problem does this paper attempt to address?