Formalizing Category Theory and Presheaf Models of Type Theory in Nuprl.

Published in: CoRR (2018)

Keyphrases

mathematical models
theoretical basis
information retrieval
prior knowledge
experimental data
statistical models
computational models
information theory
evolutionary algorithm
computational model
theoretical foundation
formal models
formal theory