Edgewise Subdivision of a Simplex. - Herbert Edelsbrunner; Daniel R. Grayson (Discret. Comput. Geom., 2000)

In Memoriam: Vladimir Voevodsky 1966-2017. - Daniel R. Grayson (Bull. Symb. Log., 2018)

Construction of the Circle in UniMath. - Marc Bezem; Ulrik Buchholtz; Daniel R. Grayson (CoRR, 2019)