Naturality of the conditional and the recursion∗ | Publicación