Lawvere-Tierney sheafification in Homotopy Type Theory.

Kevin Quirin Nicolas Tabareau

Published in: J. Formaliz. Reason. (2016)

Keyphrases

theoretical basis
theoretical framework
computational model
theoretical foundation
information systems
data model
decision theory
mathematical foundations