Abstracte Datatypen en Categorie-Theorie

Share/Save/Bookmark

Fokkinga, M.M. (1994) Abstracte Datatypen en Categorie-Theorie. [Report]

open access
[img]
Preview
PDF
217kB
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
Additional information:Imported from EWI/DB PMS [db-utwente:tech:0000003541]
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

 

Repository Staff Only: item control page

Metis ID: 121740