Type Logical Grammar | Publicación