Implementation of Two Layers Type Theory in Dedukti and Application to Cubical Type Theory.

Bruno Barras Valentin Maestracci

Published in: LFMTP (2020)

Keyphrases

theoretical framework
general theory
databases
search engine
theoretical basis
machine learning
social networks
information systems
web pages
high level
artificial neural networks
hidden markov models
decision support
information theory
practical application