Impredicative Encodings of (Higher) Inductive Types.

Steve Awodey Jonas Frey Sam Speight

Published in: CoRR (2018)

Keyphrases

machine learning
search engine
case study
high quality
search algorithm
artificial neural networks
orders of magnitude
planning problems
inductive learning