Predicative Aspects of Order Theory in Univalent Foundations.

Tom de Jong Martín Hötzel Escardó

Published in: CoRR (2021)

Keyphrases

artificial intelligence
neural network
multi agent
case study
medical images
theoretical framework