An Adequacy Theorem for Dependent Type Theory.

Thierry Coquand Simon Huber

Published in: Theory Comput. Syst. (2019)

Keyphrases

von neumann
general theory
theoretical framework
database
data mining
feature selection
bayesian networks
formal theory