SOME EQUATIONAL LAWS OF INITIALITY IN 2CCC’S

DOI10.1142/S0129054195000081zbMath0834.68078OpenAlexW1967726715MaRDI QIDQ4853332

Stephen L. Bloom, Zoltán Ésik

Publication date: 3 December 1995

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0129054195000081

zbMATH Keywords

cartesian closed 2-categoriescartesian Conway identities

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Categories of machines, automata (18B20)

Related Items (5)

Parametrized fixed points and their applications to session types ⋮ Equational properties of iteration in algebraically complete categories ⋮ Solving polynomial fixed point equations ⋮ The equational logic of fixed points ⋮ Fixed-point operations on ccc's. I

This page was built for publication: SOME EQUATIONAL LAWS OF INITIALITY IN 2CCC’S