Date of Original Version

4-15-1999

Type

Technical Report

Rights Management

All Rights Reserved

Abstract or Description

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

Share

COinS