Realizability in the Unitary Sphere.

Alejandro Daz-Caro, Mauricio Guillermo, Alexandre Miquel, Benot Valiron

Browse the full LICS paper archive.