file.pdf (816.33 kB)
0/0

Local Realizability Toposes and a Modal Logic for Computability

Download (816.33 kB)
journal contribution
posted on 15.04.1999 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.

Categories

Keyword(s)

History

Publisher Statement

All Rights Reserved

Date

15/04/1999

Exports

Categories

Keyword(s)

Exports