Entanglement cost of generalised measurements. - Richard Jozsa; Masato Koashi; Noah Linden; Sandu Popescu; Stuart Presnell; Dan J. Shepherd; Andreas J. Winter 002 (Quantum Inf. Comput., 2003)

Universes and univalence in homotopy Type Theory. - James Ladyman; Stuart Presnell (Rev. Symb. Log., 2019)