Items where Author is "De Jong, Tom"
 | Up a level |
Group by: Date | No Grouping
Jump to: 25 January 2023
Number of items: 1.
25 January 2023
De Jong, Tom (2023). Formal proofs supporting the thesis "Domain Theory in Constructive and Predicative Univalent Foundations". University of Birmingham. DataSet. https://doi.org/10.25500/edata.bham.00000912.