scientific article; zbMATH DE number 2087341
From MaRDI portal
Publication:4738111
zbMath1065.68512MaRDI QIDQ4738111
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2297/22970079.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Applications of set theory (03E75) Theories (e.g., algebraic theories), structure, and semantics (18C10) 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 (5)
Coalgebras in functional programming and type theory ⋮ How to Reason Coinductively Informally ⋮ Substitution in non-wellfounded syntax with variable binding ⋮ Generalizing Substitution ⋮ Inductive and Coinductive Components of Corecursive Functions in Coq
This page was built for publication:
