Steven Awodey, Lars Birkedal, Dana S. Scott. Local Realizability Toposes and a Modal Logic for Computability. Mathematical Structures in Computer Science, 12(3):319-334, 2002.
@article{AwodeyBS02,
title = {Local Realizability Toposes and a Modal Logic for Computability},
author = {Steven Awodey and Lars Birkedal and Dana S. Scott},
year = {2002},
tags = {modal logic, logic},
researchr = {https://researchr.org/publication/AwodeyBS02},
cites = {0},
citedby = {0},
journal = {Mathematical Structures in Computer Science},
volume = {12},
number = {3},
pages = {319-334},
}