Type theoretical databases
Journal article; PublishedVersion; Peer reviewed
View/ Open
Year
2020Permanent link
http://urn.nb.no/CRIStin
1798069Metadata
Show metadataAppears in the following Collection
- Institutt for informatikk [4944]
- CRIStin høstingsarkiv [31417]