Syntactic Effectful Realizability in Higher-Order Logic.

Liron Cohen, Ariel Grunfeld, Dominik Kirst, tienne Miquey

Browse the full LICS paper archive.