S. Rahman, N. Clerbout, and J. Redmond, “Interacción e igualdad. La interpretación dialógica de la teoría constructiva de tipos”, CRHF, vol. 49, no. 145, pp. 51–91, Oct. 2018.