Type-Theoretic Approaches to Ordinals.

Nicolai Kraus Fredrik Nordvall Forsberg Chuangjie Xu

Published in: CoRR (2022)

Keyphrases

real time
databases
neural network
reinforcement learning
wide range
strengths and weaknesses
data sets
data mining
machine learning
computer vision
information technology
artificial neural networks