The Integers as a Higher Inductive Type.

Thorsten Altenkirch Luis Scoccola

Published in: LICS (2020)

Keyphrases

inductive learning
machine learning
database
high levels
multiple types
real time
image processing
multiscale
artificial neural networks
floating point