Formal proofs supporting the thesis "Domain Theory in Constructive and Predicative Univalent Foundations"

De Jong, Tom (2023) Formal proofs supporting the thesis "Domain Theory in Constructive and Predicative Univalent Foundations".

Copy

Dataset Details

Data creator(s):	Creators Email ORCID De Jong, Tom TXD880@bham.ac.uk UNSPECIFIED
Research Data Type:	Software
DOI:	https://doi.org/10.25500/edata.bham.00000912
Publisher:	University of Birmingham
Managing organisational unit:	Colleges (2008 onwards) > College of Engineering & Physical Sciences
UoB School, Department or Institute:	School of Computer Science
Date:	25 January 2023

Additional Details

Additional Details

Depositing User:	Tom De Jong
Date Deposited:	25 Jan 2023 15:07
Last Modified:	18 Jul 2025 10:38

Available Files

Data

coq-html.zip coq-html.zip coq-html.zip Access option: Open File: coq-html.zip Content type: Data Metadata Revision: 4 Mime-Type: application/zip Licence: File size: 5MB File checksum: e87c7d350d3e317b4196c9b324ce4e4c

coq-code.zip coq-code.zip coq-code.zip Access option: Open File: coq-code.zip Content type: Data Metadata Revision: 5 Mime-Type: application/zip Licence: File size: 23MB File checksum: b29319ec09019338af8d40d39e61f7b8

agda-html.zip agda-html.zip agda-html.zip Access option: Open File: agda-html.zip Content type: Data Metadata Revision: 6 Mime-Type: application/zip Licence: File size: 8MB File checksum: b701b821d90198d0756930b623e24c5c

agda-code.zip agda-code.zip agda-code.zip Access option: Open File: agda-code.zip Content type: Data Metadata Revision: 6 Mime-Type: application/zip Licence: File size: 1MB File checksum: cea920e9c0effea39361a3552d9809aa

Read me

ReadMe.pdf ReadMe.pdf ReadMe.pdf Access option: Open File: ReadMe.pdf Content type: ["content_typename_readme" not defined] Metadata Revision: 4 Mime-Type: application/pdf Licence: File size: 34kB File checksum: 25c370ca01ee8815242965734ded641d

Export

RDF+XML RDF+N-Triples JSON Dublin Core Atom Simple Metadata HTML Citation ASCII Citation OpenURL ContextObject OpenURL ContextObject in Span MPEG-21 DIDL EP3 XML Data Cite XML RDF+N3 Multiline CSV

Related Resources

Domain theory i ... ent foundations Domain theory i ... ent foundations Domain theory i ... ent foundations Resource Title: Domain theory in constructive and predicative univalent foundations Resource Type: Thesis URL: http://etheses.bham.ac.uk/id/eprint/13401

Statistics

Downloads

Downloads per month over past year

Administer Item