On the generic solution to \(P(X)\cong X\) in distributive categories
From MaRDI portal
Publication:1380052
DOI10.1016/S0022-4049(96)00122-3zbMath0890.18005MaRDI QIDQ1380052
Publication date: 1 July 1998
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
DB lookup for MSC labels failed
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Two-dimensional monad theory
- Introduction to extensive and distributive categories
- On the generic solution to \(P(X)\cong X\) in distributive categories
- Time bounded random access machines
- Seven trees in one
- Data types in distributive categories
- Categories and Computer Science
- An imperative language based on distributive categories
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES