Initial Algebras Unchained - A Novel Initial Algebra Construction Formalized in Agda.

Thorsten Wißmann Stefan Milius

Published in: LICS (2024)

Keyphrases

information systems
genetic algorithm
computer vision
case study
multiscale
digital libraries
relational databases