Higher Groups in Homotopy Type Theory.

Ulrik Buchholtz Floris van Doorn Egbert Rijke

Published in: CoRR (2018)

Keyphrases

theoretical framework
real time
artificial intelligence
computer vision
theoretical foundation
information retrieval
knowledge base
high quality
multi agent
evolutionary algorithm
computational model
higher quality