TY  - JOUR
AU  - S. N. Baranov
AU  - S. V. Soloviev
TI  - Conditionally reversible computations and weak universality in category theory
JO  - Zapiski Nauchnykh Seminarov POMI
PY  - 2014
SP  - 19
EP  - 32
VL  - 421
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZNSL_2014_421_a1/
LA  - en
ID  - ZNSL_2014_421_a1
ER  -