Towards a Unified Theory of Data Types: Some Categorical Aspects
Other conference contribution, 1983
Author
Peter Dybjer
University of Gothenburg
Department of computer science
Proceedings 2nd Workshop on Abstract Data Type, 1983. University of Passau, Department of Computer Science, Technical Report; Manfred Broy, Martin Wirsing (Eds.)
Subject Categories
Computer Science