Predicative Aspects of Order Theory in Univalent Foundations.

Tom de Jong Martín Hötzel Escardó

Published in: FSCD (2021)

Keyphrases

artificial intelligence
theoretical framework
database
neural network
social networks
computer vision
feature selection
expert systems
recommender systems
computational model