A categorical approach to coalgebraic fixpoint logic

DOI10.1007/978-3-031-66438-0_2MaRDI QIDQ6666772

Ruben Turkenburg, Clemens Kupke, Ezra Schoen, Jurriaan Rot

Publication date: 20 January 2025

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

This page was built for publication: A categorical approach to coalgebraic fixpoint logic