Initially-Restricting Algebraic Theories

Horst Reichel. Initially-Restricting Algebraic Theories. In Piotr Dembinski, editor, Mathematical Foundations of Computer Science 1980 (MFCS 80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980. Volume 88 of Lecture Notes in Computer Science, pages 504-514, Springer, 1980.

Abstract

Abstract is missing.