Type Theoretical Databases.

Henrik Forssell, Hkon Robbestad Gylterud, David I. Spivak

Browse the full LFCS paper archive.