HYBRID PARTIAL TYPE THEORY | Publicación