file.pdf (816.33 kB)

Local Realizability Toposes and a Modal Logic for Computability

Download (816.33 kB)
journal contribution
posted on 15.04.1999, 00:00 by Steve Awodey, Lars Birkendal, Dana S. Scott
Steve Awodey, Lars Birkendal, and Dana S. Scott. Local Realizability Toposes and a Modal Logic for Computability.

History

Publisher Statement

All Rights Reserved

Date

15/04/1999

Usage metrics

Categories

Keywords

Exports