MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Local Realizability Toposes and a Modal Logic for Computability." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Local Realizability Toposes and a Modal Logic for Computability (Extended Abstracts)
by Stephen Awodey, Lars Birkedal, Dana S. Scott — 1999 — Presented at Tutorial Workshop on Realizability Semantics, FLoC'99
…Local Realizability Toposes and a Modal Logic for Computability (Extended Abstract) Steven Awodey…
Cited by 18 (6 self) – Add To MetaCart

Developing Theories of Types and Computability via Realizability
by Lars Birkedal — 2000
… of Realizability ................ 1 1.2 Local Realizability Toposes and a Modal Logic for Computability…
Cited by 16 (6 self) – Add To MetaCart

Part II Local Realizability Toposes and a Modal Logic for
by unknown authors
… Part II Local Realizability Toposes and a Modal Logic for Computability 107 Chapter 5…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB