Items where Author is "De Jong, Tom"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | No Grouping
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.

This list was generated on Thu Mar 28 16:56:49 2024 GMT.