Weak omega-Categories from Intensional Type Theory.

Peter LeFanu Lumsdaine

Published in: TLCA (2009)

Keyphrases

artificial intelligence
higher order
information retrieval
learning algorithm
search engine
information systems
feature selection
website
theoretical foundation
information theory