Local realizability toposes and a modal logic for computability (0)

by S Awodey, L Birkedal, D S Scott
Venue:Mathematical Structures in Computer Science