Higher Inductive Type Eliminators Without Paths.

Nils Anders Danielsson

Published in: TYPES (2019)

Keyphrases

machine learning
real time
shortest path
inductive learning
real world
database systems
inductive inference
data sets
neural network
search engine
feature selection
significantly higher