A Compositional Theory of Krivine's Classical Realisability.

Daichi Hayashi, Graham E. Leigh

Browse the full WoLLIC paper archive.