Algebra and Coalgebra in Computer Science

From MaRDI portal

Publication:5492830

Jump to:navigation, search

DOI10.1007/11548133zbMath1151.68493OpenAlexW249899439MaRDI QIDQ5492830

Andrei Popescu, Grigore Roşu

Publication date: 20 October 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11548133

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30)

Related Items (1)

This page was built for publication: Algebra and Coalgebra in Computer Science

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5492830&oldid=30045626"