TY  - JOUR
AU  - S. P. Kovalyov
TI  - Category-theoretic models of algebraic computer systems
JO  - Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki
PY  - 2016
SP  - 167
EP  - 179
VL  - 56
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZVMMF_2016_56_1_a11/
LA  - ru
ID  - ZVMMF_2016_56_1_a11
ER  -