Type theoretical databases

DOI10.1093/logcom/exaa009zbMath1474.68100OpenAlexW1828748280MaRDI QIDQ5108023

David I. Spivak, Håkon Robbestad Gylterud, Henrik Forssell

Publication date: 29 April 2020

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exaa009

zbMATH Keywords

simplicial setsrelational databasesdependent type theory

Mathematics Subject Classification ID

Database theory (68P15) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Simplicial sets, simplicial objects (18N50) Type theory (03B38)

This page was built for publication: Type theoretical databases