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

Anthony Bordg Lawrence C. Paulson Wenda Li

Published in: Exp. Math. (2022)

Keyphrases

data mining
machine learning
trade off
highly reliable
database
knowledge base
case study
three dimensional
data structure
computer science
management system
theoretical framework