A Temporal × Modal Approach to the Definability of Properties of Functions | Publicación