Date of Original Version

4-1-2001

Type

Technical Report

Rights Management

All Rights Reserved

Abstract or Description

Steve Awodey and Audrej Bauer. Sheaf Toposes for Realizability.

Comments

CMU-PHIL-117

Included in

Philosophy Commons

Share

COinS