Which of My Assumptions are Unnecessary for Realizability and Why Should I Care?

Rafi Shalom, Shahar Maoz

Browse the full ICSE paper archive.