Dr TOM DE JONG Tom.DeJong@nottingham.ac.uk
RESEARCH FELLOW
Formalizing equivalences without tears
de Jong, Tom
Authors
Citation
de Jong, T. (2024, June). Formalizing equivalences without tears. Paper presented at 30th International Conference on Types for Proofs and Programs (TYPES 2024), Copenhagen, Denmark
| Presentation Conference Type | Conference Paper (unpublished) |
|---|---|
| Conference Name | 30th International Conference on Types for Proofs and Programs (TYPES 2024) |
| Start Date | Jun 10, 2024 |
| End Date | Jun 14, 2024 |
| Deposit Date | May 7, 2025 |
| Publicly Available Date | May 12, 2025 |
| Peer Reviewed | Peer Reviewed |
| Public URL | https://nottingham-repository.worktribe.com/output/48704922 |
Files
Formalizing equivalences without tears
(506 Kb)
PDF
You might also like
Apartness, sharp elements, and the Scott topology of domains
(2023)
Journal Article
Set-Theoretic and Type-Theoretic Ordinals Coincide
(2023)
Presentation / Conference Contribution
On Small Types in Univalent Foundations
(2023)
Journal Article
Epimorphisms and acyclic types in univalent foundations
(2025)
Journal Article
Ordinal Exponentiation in Homotopy Type Theory
(2025)
Presentation / Conference Contribution
Downloadable Citations
About Repository@Nottingham
Administrator e-mail: discovery-access-systems@nottingham.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2025
Advanced Search