Return to Article Details Interacción e igualdad. La interpretación dialógica de la teoría constructiva de tipos Download Download PDF