Sets in homotopy type theory.

Egbert Rijke Bas Spitters

Published in: Math. Struct. Comput. Sci. (2015)

Keyphrases

closed sets
website
formal theory
database
artificial intelligence
computational model
theoretical basis
general theory
set theoretic
data sets
machine learning
control system