< Terug naar vorige pagina

Project

Programmeren en bewijzen met vrije veralgemeende monoides.

Dit project heeft tot doel de situatie te verhelpen door concepten uit de categorietheorie toe te passen, een abstracte tak van de wiskunde, om programma's systematisch te structureren. Meer specifiek bestuderen we de klasse van concepten bekend als vrije gegeneraliseerde monoïden.

Datum:1 jan 2019 →  31 dec 2022
Trefwoorden:Programming languages and technologies
Disciplines:Computerwetenschappen, Taalprocessoren