Positive higher-order queries.

Michael Benedikt, Gabriele Puppis, Huy Vu

Browse the full PODS paper archive.