Semantically Inactive Multiplicatives and Words as Types | Publicación