Cocon: Computation in Contextual Type Theory.

Brigitte Pientka Andreas Abel Francisco Ferreira David Thibodeau Rébecca Zucchini

Published in: CoRR (2019)

Keyphrases

contextual information
theoretical framework
neural network
context sensitive
case based reasoning
theoretical basis
database
data sets
databases
social networks
image sequences
bayesian networks
computational model
information theory
formal theory