A CATEGORY-THEORETICAL APPROACH TO LOGIC PROGRAM-DEVELOPMENT

Authors
YAN SY
Citation
Sy. Yan, A CATEGORY-THEORETICAL APPROACH TO LOGIC PROGRAM-DEVELOPMENT, International journal of computer mathematics, 47(1-2), 1993, pp. 9-16
Citations number
8
Categorie Soggetti
Computer Sciences",Mathematics
Journal title
International journal of computer mathematics
ISSN journal
00207160 → ACNP
Volume
47
Issue
1-2
Year of publication
1993
Pages
9 - 16
Database
ISI
SICI code
Abstract
In this paper we present a category-theoretical approach to logic prog ram development.