Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

5

MSCS
2002

favoriteEmaildiscussreport

54views more MSCS 2002»

Local Realizability Toposes and a Modal Logic for Computability

13 years 4 months ago

Local Realizability Toposes and a Modal Logic for Computability

Download www.hss.cmu.edu

Steven Awodey, Lars Birkedal, Dana S. Scott

Real-time Traffic

MSCS 2002 |

claim paper

Related Content

» Sheaf toposes for realizability

» Realizability models and implicit complexity

» Prehistoric Phenomena and Selfreferentiality

» Distributed Control Flow with Classical Modal Logic

» MoMo A Modal Logic for Reasoning About Mobility

» Computational Interpretations of Classical Linear Logic

» HigherOrder and Modal Logic as a Framework for ExplanationBased Generalization

» Named Models in Coalgebraic Hybrid Logic

» A fixpoint calculus for local and global program flows

Post Info
More Details (n/a)

Added	22 Dec 2010
Updated	22 Dec 2010
Type	Journal
Year	2002
Where	MSCS
Authors	Steven Awodey, Lars Birkedal, Dana S. Scott

Comments (0)