Towards a Unified Theory of Data Types: Some Categorical Aspects
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

More information

Created

10/7/2017