Blar i Department of Informatics på tidsskrift "Journal of Logic and Computation"
Viser treff 1-1 av 1
-
Type theoretical databases
(Journal article; Peer reviewed, 2020)We show how the display-map category of finite (symmetric) simplicial complexes can be seen as representing the totality of database schemas and instances in a single mathematical structure. We give a sound interpretation ...