Patch Locale of a Spectral Locale in Univalent Type Theory.

Ayberk Tosun Martín Hötzel Escardó

Published in: CoRR (2023)

Keyphrases

theoretical framework
theoretical basis
database
databases
theoretical foundation
multispectral images
general theory
website
decision trees
case study
video sequences
computational model