scientific article

zbMath1271.03048MaRDI QIDQ2847812

Bart Jacobs

Publication date: 11 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104051734

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)

Related Items

Recursive coalgebras from comonads ⋮ Distributive laws for the coinductive solution of recursive equations