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

How to cite

top

Khalil, Wafaa, and Walters, R. F. C.. "An imperative language based on distributive categories II." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 27.6 (1993): 503-522. <http://eudml.org/doc/92463>.

@article{Khalil1993,
author = {Khalil, Wafaa, Walters, R. F. C.},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
keywords = {imperative programming languages; distributive categories; data types},
language = {eng},
number = {6},
pages = {503-522},
publisher = {EDP-Sciences},
title = {An imperative language based on distributive categories II},
url = {http://eudml.org/doc/92463},
volume = {27},
year = {1993},
}

TY - JOUR
AU - Khalil, Wafaa
AU - Walters, R. F. C.
TI - An imperative language based on distributive categories II
JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY - 1993
PB - EDP-Sciences
VL - 27
IS - 6
SP - 503
EP - 522
LA - eng
KW - imperative programming languages; distributive categories; data types
UR - http://eudml.org/doc/92463
ER -

References

top
  1. 1. R. F. C. WALTERS, An Imperative Language based on Distributive Categories, in Mathematical Structures for Computer Science (to appear). Zbl0788.18008MR1189984
  2. 2. R. F. C. WALTERS, Categories and Computer Science, Carslaw Publications, 1991, Cambridge University Press, 1992. Zbl0789.18001MR1204658
  3. 3. R. F. C WALTERS, Lecture at the Conference on Categories and Computer Science, Durham, July 1991. 

NotesEmbed ?

top

You must be logged in to post comments.