Introduction to Univalent Foundations of Mathematics with Agda.

Martín Hötzel Escardó

Published in: CoRR (2019)

Keyphrases

computer science
artificial intelligence
computer vision
cooperative
data sets
search engine
multimedia
learning process
mathematics education