"Local Realizability Toposes and a Modal Logic for Computability" by Steve Awodey, Lars Birkendal et al.

Skip to main content

Department of Philosophy

Authors

Steve Awodey, Carnegie Mellon University
Lars Birkendal, Carnegie Mellon University
Dana S. Scott, Carnegie Mellon University

Title

Local Realizability Toposes and a Modal Logic for Computability

Date of Original Version

4-15-1999

Type

Technical Report

Abstract or Table of Contents

Steve Awodey, Lars Birkendal, and Dana S. Scott. Local Realizability Toposes and a Modal Logic for Computability.

Comments

CMU-PHIL-99

Included in

Philosophy Commons

COinS