Login / Signup
The Integers as a Higher Inductive Type.
Thorsten Altenkirch
Luis Scoccola
Published in:
CoRR (2020)
Keyphrases
</>
real world
significantly higher
database
genetic algorithm
social networks
decision making
face recognition
data structure
knowledge representation
programming language
inductive learning
multiple types