Enviar Registro por Correo electrónico: Advances in proof-theoretic semantics.