Sobre la complejidad de la normalización para el -cálculo | Synapse