Using categorical methods in computer science

Authors
Sergienko, IV Parasyuk, IN Provotar, AI
Citation
Iv. Sergienko et al., Using categorical methods in computer science, CYB SYS AN, 36(4), 2000, pp. 475-482
Citations number
9
Categorie Soggetti
AI Robotics and Automatic Control
Journal title
CYBERNETICS AND SYSTEMS ANALYSIS
ISSN journal
10600396 → ACNP
Volume
36
Issue
4
Year of publication
2000
Pages
475 - 482
Database
ISI
SICI code
1060-0396(200007/08)36:4<475:UCMICS>2.0.ZU;2-K
Abstract
Some categorial methods used in developing computer programs are considered . Relevant theorems are proved.