Extending Constructive Logic Negation with Types | Publicación