Reasoning with higher order partial functions | Publicación