Local Reasoning for Robust Observational Equivalence. - Dan R. Ghica; Koko Muroya; Todd Waugh Ambridge (CoRR, 2019)

A Constructive, Type-Theoretic Approach to Regression via Global Optimisation. - Dan R. Ghica; Todd Waugh Ambridge (CoRR, 2020)

Global Optimisation with Constructive Reals. - Dan R. Ghica; Todd Waugh Ambridge (LICS, 2021)

Exact Real Search: Formalised Optimisation and Regression in Constructive Univalent Mathematics. - Todd Waugh Ambridge (CoRR, 2024)

A robust graph-based approach to observational equivalence. - Dan R. Ghica; Koko Muroya; Todd Waugh Ambridge (Log. Methods Comput. Sci., 2025)