Data · dataset · 2023
Formal proofs supporting the thesis "Domain Theory in Constructive and Predicative Univalent Foundations"
Listed in UBIRA eData
This deposit consists of formal proofs in Agda and Coq, together with the software libraries that these proofs depend on.
Description
Moreover, the HTML renderings of these proofs, generated for presentation and reading, are also included. The readme file has additional details describing each file.
Links
Where it is published
- UBIRA eData record edata.bham.ac.uk/912/5/ReadMe.pdf ↗
landing page · from edata bham ac uk
- UBIRA eData record edata.bham.ac.uk/912/3/coq-code.zip ↗
landing page · from edata bham ac uk
- UBIRA eData record edata.bham.ac.uk/912/1/agda-code.zip ↗
landing page · from edata bham ac uk
- UBIRA eData record edata.bham.ac.uk/912/2/agda-html.zip ↗
landing page · from edata bham ac uk
- UBIRA eData record edata.bham.ac.uk/912/4/coq-html.zip ↗
landing page · from edata bham ac uk
- DOI doi.org/10.25500/edata.bham.00000912 ↗
DOI / persistent id · from edata bham ac uk
Catalogue records · 1
- OAI-PMH record edata.bham.ac.uk/cgi/oai2?verb=GetRecord&metadataPrefix=oai_dc&identifier=oai%3… ↗
metadata API · from edata bham ac uk
Topics
- From keywords
- Earth & Environmental Science
Provenance · 1 source records, 5 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| UBIRA eData | oai:edata.bham.ac.uk:912 | 13 d ago | JSON v1 |
| Field | Assertion | Extractor | Evidence |
|---|---|---|---|
| concepts[field].local:field:earth-environmental | mapping · edata bham ac uk | connector:edata_bham_ac_uk@1.0.0 | |
| description | source · edata bham ac uk | connector:edata_bham_ac_uk@1.0.0 | /metadata/dc/description |
| license_text | source · edata bham ac uk | connector:edata_bham_ac_uk@1.0.0 | |
| publication_date | source · edata bham ac uk | connector:edata_bham_ac_uk@1.0.0 | |
| title | source · edata bham ac uk | connector:edata_bham_ac_uk@1.0.0 | /metadata/dc/title |