Text this: Interacción e igualdad. La interpretación dialógica de la teoría constructiva de tipos