Steven Awodey, Lars Birkedal, Dana S. Scott. Local Realizability Toposes and a Modal Logic for Computability. Electronic Notes in Theoretical Computer Science, 23(1):13-26, 1999. [doi]
@article{AwodeyBS99,
title = {Local Realizability Toposes and a Modal Logic for Computability},
author = {Steven Awodey and Lars Birkedal and Dana S. Scott},
year = {1999},
url = {http://www.elsevier.com/gej-ng/31/29/23/92/27/show/Products/notes/index.htt#004},
tags = {modal logic, logic},
researchr = {https://researchr.org/publication/AwodeyBS99},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {23},
number = {1},
pages = {13-26},
}