Evidenced Frames: A Unifying Framework Broadening Realizability Models.

Liron Cohen, tienne Miquey, Ross Tate

Browse the full LICS paper archive.