| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 10333733 | Journal of Logical and Algebraic Methods in Programming | 2015 | 15 Pages |
Abstract
Finally, we show that with a small adjustment of the definitions, observationally-induced algebras form the smallest full reflective subcategory of the category of algebras for the corresponding signature, which contains the computational prototype and is complete and closed under isomorphism.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Ingo Battenfeld, Matthias Schöder,