Back to University of Twente portal
Abstracte Datatypen en Categorie-Theorie
Fokkinga, M.M. (1994) Abstracte Datatypen en Categorie-Theorie. [Report]
![[img]](http://doc.utwente.nl/style/images/fileicons/application_pdf.png)
| PDF 212Kb |
| 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. |
| Item Type: | Report |
| Copyright: | © 1994 University of Twente, Department of Computer Science |
| Faculty: | Electrical Engineering, Mathematics and Computer Science (EEMCS) |
| Research Group: | |
| Link to this item: | http://purl.utwente.nl/publications/66625 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page
Metis ID: 121740