scientific article; zbMATH DE number 7361349
From MaRDI portal
Publication:4994687
zbMath1464.68086arXiv1309.5132MaRDI QIDQ4994687
Publication date: 21 June 2021
Full work available at URL: https://arxiv.org/abs/1309.5132
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) 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)
Related Items (3)
This page was built for publication:
