This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
P. Burmeister, A Model Theoretic Oriented Approach to Partial Algebras (Introduction to Theory and Applications of Partial Algebras — Part I),Math.Research,vol.32, Akademie-Verlag, Berlin, 1986.
G.Gierz,K.H.Hoffmann,K.Keimel,J.D.Lawson,M.Mislove,D.S.Scott, A Compendium of Continuous lattices, Springer-Verlag,1980.
G.Gratzer, Universal Algebra, 2 nd ed. Springer-Verlag, 1979.
P.J. Higgins, Algebras with a scheme of operators, Math.Nach.27, 115–132,1963.
G. Jarzembski, Finitary spectral algebraic theories, J.Pure and Appl.Algebra 52, 31–50, 1988.
G. Jarzembski, Weak varieties of partial algebras, Alg.Univ.25, 247–262, 1988.
G.Jarzembski, Sheaves of finitely definable operations in weak varieties, to appear in Alg.Univ.
P.Johnstone, Topos Theory, Academic Press, 1977.
J. Schmidt, A homomorphism theorem for partial algebras, Coll. Math.21, 5–21, 1970.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jarzembski, G. (1991). Programs in partial algebras — A categorical approach. In: Pitt, D.H., Curien, PL., Abramsky, S., Pitts, A.M., Poigné, A., Rydeheard, D.E. (eds) Category Theory and Computer Science. CTCS 1991. Lecture Notes in Computer Science, vol 530. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013463
Download citation
DOI: https://doi.org/10.1007/BFb0013463
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54495-1
Online ISBN: 978-3-540-38413-7
eBook Packages: Springer Book Archive