S. Rahman, N. Clerbout, y J. Redmond, «Interacción e igualdad. La interpretación dialógica de la teoría constructiva de tipos», CRHF, vol. 49, n.º 145, pp. 51–91, oct. 2018.