@book{55d094cc1a2a43e389b981a398104398,
title = "Abstracte Datatypen en Categorie-Theorie",
abstract = "Sommige datatypen kunnen volledig met axioma's gekarakteriseerd worden, zonder op enigerlei wijze voor te schrijven hoe de elementen van het datatype er uit zien; we spreken dan van abstract datatype. We laten de karakterisering en enige stellingen en bewijzen in detail zien voor het cartesisch product en disjoint union van twee verzamelingen. De begrippen en methoden die een rol spelen komen uit de categorie-theorie.",
author = "M.M. Fokkinga",
note = "Imported from EWI/DB PMS [db-utwente:tech:0000003541]",
year = "1994",
month = jun,
language = "Dutch",
series = "Memoranda informatica",
publisher = "University of Twente",
number = "94-32",
address = "Netherlands",
}