Full Abstraction and Universality via Realisability.

Michael Marz, Alexander Rohr, Thomas Streicher

Browse the full LICS paper archive.