φ-TYPES, STABILITY, AND SIMPLICITY | Publicación