Sikkel: Multimode Simple Type Theory as an Agda Library.

Joris Ceulemans Andreas Nuyts Dominique Devriese

Published in: MSFP@ETAPS (2022)

Keyphrases

general theory
data sets
evolutionary algorithm
programming language
highly reliable
learning algorithm
artificial intelligence
image segmentation
image sequences
reinforcement learning
theoretical framework
theoretical foundation
computational models
information theory
belief functions
theoretical basis