slepice: Towards a Verified Implementation of Type Theory in Type Theory.

Frantisek Farka

Published in: LOPSTR (2020)

Keyphrases

theoretical framework
theoretical basis
real time
neural network
information retrieval
database
conceptual framework
theoretical foundation
general theory
efficient implementation
general purpose
data structure
similarity measure
high level
case study
e learning
genetic algorithm