caa a22 4500 386359954 CHVBK 20180307111912.0 cr unu---uuuuu 161130e198908 xx s 000 0 eng 10.1017/S0004972700003506 doi S0004972700003506 pii (NATIONALLICENCE)cambridge-10.1017/S0004972700003506 Walters R.F.C. Pure Mathematics Department University of Sydney NSW 2006 Australia Data types in distributive categories [Elektronische Daten] [R.F.C. Walters] 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. Copyright © Australian Mathematical Society 1989 Bulletin of the Australian Mathematical Society Cambridge University Press 40/1(1989-08), 79-82 0004-9727 40:1<79 1989 40 BAZ https://doi.org/10.1017/S0004972700003506 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1017/S0004972700003506 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Walters R.F.C. Pure Mathematics Department University of Sydney NSW 2006 Australia NATIONALLICENCE 773 0- Bulletin of the Australian Mathematical Society Cambridge University Press 40/1(1989-08), 79-82 0004-9727 40:1<79 1989 40 BAZ CC0 http://creativecommons.org/publicdomain/zero/1.0 nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-cambridge