%0 Journal Article %1 journals/siamcomp/BergstraT83 %A Bergstra, Jan A. %A Tucker, John V. %D 1983 %J SIAM J. Comput. %K dblp %N 2 %P 366-387 %T Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems. %U http://dblp.uni-trier.de/db/journals/siamcomp/siamcomp12.html#BergstraT83 %V 12

@article{journals/siamcomp/BergstraT83, added-at = {2019-07-12T00:00:00.000+0200}, author = {Bergstra, Jan A. and Tucker, John V.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/22f5b31b331a831af57a2a45c1191119b/dblp}, ee = {https://doi.org/10.1137/0212024}, interhash = {66f1c99b91a18391862771601dec3e17}, intrahash = {2f5b31b331a831af57a2a45c1191119b}, journal = {SIAM J. Comput.}, keywords = {dblp}, number = 2, pages = {366-387}, timestamp = {2019-09-27T12:12:31.000+0200}, title = {Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems.}, url = {http://dblp.uni-trier.de/db/journals/siamcomp/siamcomp12.html#BergstraT83}, volume = 12, year = 1983 }