Local Realizability Toposes and a Modal Logic for Computability.

Steven Awodey Lars Birkedal Dana S. Scott Local Realizability Toposes and a Modal Logic for Computability. 319-334 2002 12 Mathematical Structures in Computer Science 3 db/journals/mscs/mscs12.html#AwodeyBS02