Category-theoretic models of algebraic computer systems
From MaRDI portal
Publication:2629982
DOI10.1134/S0965542516010115zbMath1362.68075MaRDI QIDQ2629982
Publication date: 8 July 2016
Published in: Computational Mathematics and Mathematical Physics (Search for Journal in Brave)
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Many-valued logic (03B50)
Cites Work
This page was built for publication: Category-theoretic models of algebraic computer systems