Found 19 Documents (Results 1–19)
Adjoint folds and unfolds. Or: Scything through the thicket of morphisms. (English) Zbl 1286.68080
Bolduc, Claude (ed.) et al., Mathematics of program construction. 10th international conference, MPC 2010, Québec City, Canada, June 21–23, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13320-6/pbk). Lecture Notes in Computer Science 6120, 195-228 (2010).
Final coalgebras and the Hennessy-Milner property. (English) Zbl 1099.03019
Reviewer: Michel Eytan (Strasbourg)
\(\mu\)-bicomplete categories and parity games. (English) Zbl 1024.18001
Reviewer: Václav Koubek (Praha)
Final coalgebras are ideal completions of initial algebras. (English) Zbl 1003.18009
Reviewer: Václav Koubek (Praha)
Lectures on semantics: The initial algebra and final coalgebra perspectives. (English) Zbl 0882.68086
Schwichtenberg, Helmut (ed.), Logic of computation. Proceedings of the NATO ASI. Marktoberdorf, Germany. July 25–August 6, 1995. Berlin: Springer. NATO ASI Ser., Ser. F, Comput. Syst. Sci. 157, 1-33 (1997).
MSC:
68Q55
Final universes of processes. (English) Zbl 1509.68179
Brookes, Stephen (ed.) et al., Mathematical foundations of programming semantics, 9th international conference, New Orleans, LA, USA, April 7–10, 1993. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 802, 1-28 (1994).
Handbook of categorical algebra. 2: Categories and structures. (English) Zbl 0843.18001
Encyclopedia of Mathematics and Its Applications. 51. Cambridge: Univ. Press. xvii, 443 p. (1994).
Reviewer: J.Duskin (Buffalo)
MSC:
18-00
I-categories and duality. (English) Zbl 0792.18006
Fourman, M. P. (ed.) et al., Applications of categories in computer science. Proceedings of the LMS symposium, held at the University of Durham, England, UK, from 20 to 30 July, 1991. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 177, 270-287 (1992).
The recursive power of algebraic semantics. (English) Zbl 0659.68025
Reviewer: B.Mahr
Key extensions of abstract data types, final algebras, and database semantics. (English) Zbl 0616.68018
Category theory and computer programming, Workshop Guildford/U.K. 1985, Lect. Notes Comput. Sci. 240, 412-433 (1986).
Proofs in the final algebra. (English) Zbl 0588.68009
Trees in algebra and programming, 9th Colloq., Bordeaux/France 1984, 227-242 (1984).
Reviewer: C.Masalagiu
The recursive power of algebraic semantics. (English) Zbl 0521.68023
Prepr., Neue Folge, Humboldt-Univ. Berl., Sekt. Math. 57, 33 p. (1983).
The completeness of the algebraic specification methods for data types. (English) Zbl 0447.68023
Math. Cent., Amst., Afd. Inf. IW 156/80, 18 p. (1980).
Initial and final algebra semantics for data type specifications: Two characterisation theorems. (Preprint). (English) Zbl 0431.68021
Math. Cent., Amst., Afd. Inf. 142, 36 p. (1980).
A natural data type with a finite equational final semantics specification but no effective equational initial semantics specification. (English) Zbl 0421.68021
Math. Cent., Amst., Afd. Inf. 133, 11 p. (1980).
Filter Results by …
Document Type
- Journal Articles (8)
- Collection Articles (6)
- Books (5)
all
top 5
Author
- Bergstra, Jan A. (3)
- Tucker, John V. (3)
- Aczel, Peter (2)
- Adámek, Jiří (2)
- Jantke, Klaus-Peter (2)
- Borceux, Francis (1)
- Bothe, Klaus (1)
- Cîrstea, Corina (1)
- Ehrich, Hans-Dieter (1)
- Goldblatt, Robert Ian (1)
- Hinze, Ralf (1)
- Milius, Stefan (1)
- Moss, Lawrence S. (1)
- Puel, Laurence (1)
- Santocanale, Luigi (1)
- Smyth, Michael B. (1)
- Sousa, Lurdes (1)
- Wand, Mitchell (1)
