Abstracte Datatypen en Categorie-Theorie

M.M. Fokkinga

Research output: Contribution to journalArticleProfessional

32 Downloads (Pure)

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.
Original languageUndefined
Pages (from-to)-
Number of pages23
JournalMemoranda informatica
Issue number94-32
Publication statusPublished - Jun 1994

Keywords

  • METIS-121740
  • EWI-8200
  • IR-66625

Cite this