Hostname: page-component-848d4c4894-nr4z6 Total loading time: 0 Render date: 2024-05-19T08:54:05.954Z Has data issue: false hasContentIssue false
  • English
  • Français

Data types in distributive categories

Published online by Cambridge University Press:  17 April 2009

R.F.C. Walters
R.F.C. Walters
Affiliation:
Pure Mathematics DepartmentUniversity of Sydney NSW 2006Australia
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

The purpose of this note is to describe some of the standard data types of computer science in the language of distributive categories. We believe that in this way we have achieved a simplification and a formal clarification of the specification of these data types.

Type
Research Article
Information
Bulletin of the Australian Mathematical Society , Volume 40 , Issue 1 , August 1989 , pp. 79 - 82
Copyright
Copyright © Australian Mathematical Society 1989

References

[1]Berztiss, A. and Thatte, S., ‘Specification and implementation of abstract data types”, Adv. Com- put. 22 (1983), 295–353‥CrossRefGoogle Scholar