Local realizability toposes and a modal logic for computability. (2002)

by S Awodey, L Birkedal, D S Scott
Venue:Math. Structures Comput. Sci.,