scientific article; zbMATH DE number 2079043

zbMath1044.68678MaRDI QIDQ4474856

Bart Jacobs, Claudio Hermida

Publication date: 21 July 2004

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

Mathematics Subject Classification ID

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

Related Items

Categorical fixed point calculus, Divergences on monads for relational program logics, Structural induction and coinduction in a fibrational setting, Some properties of Fib as a fibred \(2\)-category