Towards a Unified Theory of Data Types: Some Categorical Aspects
Konferensbidrag (offentliggjort, men ej förlagsutgivet), 1983
Författare
Peter Dybjer
Göteborgs universitet
Institutionen för informationsbehandling
Proceedings 2nd Workshop on Abstract Data Type, 1983. University of Passau, Department of Computer Science, Technical Report; Manfred Broy, Martin Wirsing (Eds.)
Ämneskategorier
Datavetenskap (datalogi)