Simple Type Theory is not too Simple: Grothendieck's Schemes without Dependent Types.

Anthony Bordg Lawrence C. Paulson Wenda Li

Published in: CoRR (2021)

Keyphrases

neural network
computational model
computer vision
cooperative
pattern recognition
feature space
genetic algorithm
information systems
three dimensional
reinforcement learning
expert systems
information technology
relational databases
simple examples