An Introduction to Dependent Type Theory.

Gilles Barthe Thierry Coquand

Published in: APPSEM (2000)

Keyphrases

theoretical framework
theoretical basis
computational model
general theory
formal theory
database
real time
databases
neural network
decision trees
data streams
special case
logic programs
conceptual framework
decision theory
probability theory