Scriptiebank is een vrij toegankelijke online databank. Deze bevat alle artikels en full text scripties van deelnemende bachelors en masters aan de Vlaamse Scriptieprijs.

Models of univalence in cubical sets

Willem Vanhulle Andreas Nuyts
Het univalentie axioma helpt bij de formalisatie en automatisatie van wiskundig redeneren. Dit wordt geïllustreerd met een voorbeeld over decimale en binaire getallen.