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)