All Outputs (2322)

RAi Response to NHS Consultation on "Building an integrated, rules-based medtech pathway"
Other
Bergin, A. RAi Response to NHS Consultation on "Building an integrated, rules-based medtech pathway"

Formalizing equivalences without tears
Presentation / Conference Contribution
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