On algebras with effectful iteration
From MaRDI portal
Publication:1798792
DOI10.1007/978-3-030-00389-0_9MaRDI QIDQ1798792
Jiří Adámek, Stefan Milius, Henning Urbat
Publication date: 23 October 2018
Full work available at URL: https://hal.inria.fr/hal-02044647/file/473364_1_En_9_Chapter.pdf
68Q65: Abstract data types; algebraic specification