scientific article; zbMATH DE number 5239092
From MaRDI portal
Publication:5442464
zbMath1151.03036MaRDI QIDQ5442464
Publication date: 22 February 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Categorical logic, topoi (03G30) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)
This page was built for publication: