Towards Ludics Programming: Interactive Proof Search.

Alexis Saurin

Browse the full ICLP paper archive.