Type theoretical databases
Journal article; PublishedVersion; Peer reviewed
År
2020Permanent lenke
http://urn.nb.no/CRIStin
1798069Metadata
Vis metadataFinnes i følgende samling
- Institutt for informatikk [4956]
- CRIStin høstingsarkiv [31446]