Lars Birkedal A General Notion of Realizability. 7-17 2000 LICS http://www.computer.org/proceedings/lics/0725/07250007abs.htm db/conf/lics/lics2000.html#Birkedal00