An imperative language based on distributive categories II
Wafaa Khalil; R. F. C. Walters
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1993)
- Volume: 27, Issue: 6, page 503-522
- ISSN: 0988-3754
Access Full Article
topHow to cite
topReferences
top- 1. R. F. C. WALTERS, An Imperative Language based on Distributive Categories, in Mathematical Structures for Computer Science (to appear). Zbl0788.18008MR1189984
- 2. R. F. C. WALTERS, Categories and Computer Science, Carslaw Publications, 1991, Cambridge University Press, 1992. Zbl0789.18001MR1204658
- 3. R. F. C WALTERS, Lecture at the Conference on Categories and Computer Science, Durham, July 1991.