Date of Original Version

6-16-2000

Type

Technical Report

Rights Management

All Rights Reserved

Abstract or Table of Contents

Jeremey Avigad. Algebraic Proofs of Cut Elimination.

Comments

CMU-PHIL-111

Included in

Philosophy Commons

Share

COinS