Enviar Registro por Correo electrónico: Las paradojas y la teoría de los tipos lógicos /