Injective types in univalent mathematics.

Martín Hötzel Escardó

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

Keyphrases

computer science
data sets
machine learning
three dimensional
database
computer vision
decision making
web services
video sequences
object recognition
range images
multiple types
computer programming
computer algebra