A general definition of dependent type theories.

Andrej Bauer Philipp G. Haselwarter Peter LeFanu Lumsdaine

Published in: CoRR (2020)

Keyphrases

special case
general theory
closely related
database
neural network
theoretical framework
databases
real world
data mining
information systems
image processing
website
expert systems
information technology
probability distribution