Abstract
Generalizing products in Lawvere’s algebraic theories to projective and injective Kan extensions and their conjunctive combinations one gets a powerful categorical model theory. Based on this categorical model theory the foundations of a uniform axiomatic specification formalism for data and process types is developed.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Astesiano, E., Kreowski, H.-J., Krieg-Brücker, B. (eds.): Algebraic Foundations of Systems Specification. IFIP state-of-the-art reports. Springer, Heidelberg (1999)
Barr, M., Wells, C.: Category Theory for Computing Science, 2nd edn. International series in computer science. Prentice Hall, Englewood Cliffs (1996)
Cockett, J.R.B., Fukushima, T.: About charity. Technical Report 92/480/18, Department of Computer Science, University of Calgary (1992)
Cockett, J.R.B., Spencer, D.: Strong categorical datatypes i. In: Seely, R.A.G. (ed.) Canadian Mathematical Society Proceedings, Montreal (1992)
Cockett, J.R.B., Spencer, D.: Strong categorical datatypes ii: A term logic for categorical programming. Theoretical Computer Science 139, 69–113 (1995)
Freyd, P.: Algebraically complete categories. In: Carboni, A., et al. (eds.) 1990 Como Category Theory Conference. Lecture Notes in Math., vol. 1488, pp. 95–104. Springer, Berlin (1990)
Goguen, J.A., Burstall, R.M.: Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery 39, 95–146 (1992)
Goguen, J., Rosu, G.: Hiding more of hidden algebra. In: Wing, J.M., Woodcock, J., Davies, J. (eds.) FM 1999. LNCS, vol. 1709, pp. 1704–1719. Springer, Berlin (1999)
Jacobs, B., Rutten, J.: A tutorial on (co)algebras and (co)induction. Bulletin of the EATCS 62, 222–259 (1997)
Lair, C.: Trames et semantiques categoriques des systems de trames. Diagrammes, 19 (1987)
Lawvere, F.W.: Functorial semantics of algebraic theories. Proc. Nat. Acad. Sci. U. S. A. 50, 869–873 (1963)
Milner, R.: A Calculus of Communicating Systems. In: Milner, R. (ed.) A Calculus of Communication Systems. LNCS, vol. 92. Springer, Heidelberg (1980)
Lane, S.M.: Categories for the Working Mathematician. Springer, Heidelberg (1971)
Meseguer, J., Montanari, U.: Petri nets are monoids. Information and Computation 88, 105–155 (1990)
CoFI Task Group on Langugage Design. Casl, the common algebraic specification language (summary). Technical report, CoFI: The Common Framework Initiative (1998)
Reichel, H.: Nested sketches. Technical Report ECS-LFCS-98-401, Edinburgh University, Laboratory for Foundations of Computer Science (December 1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Reichel, H. (2000). A Uniform Model Theory for the Specification of Data and Process Types. In: Bert, D., Choppy, C., Mosses, P.D. (eds) Recent Trends in Algebraic Development Techniques. WADT 1999. Lecture Notes in Computer Science, vol 1827. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-44616-3_20
Download citation
DOI: https://doi.org/10.1007/978-3-540-44616-3_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67898-4
Online ISBN: 978-3-540-44616-3
eBook Packages: Springer Book Archive