Formalisation of Dependent Type Theory: The Example of CaTT.

Thibaut Benjamin

Published in: TYPES (2021)

Keyphrases

general theory
real time
special case
relational databases
digital libraries
image processing
image sequences
face recognition
optimal solution
cooperative
social networks
evolutionary algorithm
machine learning
wireless sensor networks
theoretical framework
theoretical basis
database
formal theory