Local Realizability Toposes and a Modal Logic for Computability: (Extended Abstract)
Steven Awodey, Lars Birkedal, Dana S. ScottVolume:
23
Year:
1999
Language:
english
Pages:
14
DOI:
10.1016/s1571-0661(04)00101-x
File:
PDF, 718 KB
english, 1999