FUNDAMENTALNAYA I PRIKLADNAYA MATEMATIKA

(FUNDAMENTAL AND APPLIED MATHEMATICS)

2014, VOLUME 19, NUMBER 3, PAGES 111-170

Category-theoretic approach to software systems design

S. P. Kovalyov

Abstract

Gif image of the abstract

Main page Contents of the journal News Search

Location: http://mech.math.msu.su/~fpm/eng/k14/k143/k14304g.htm
Last modified: February 20, 2015