"Algebraic Proofs of Cut Elimination" by Jeremy Avigad

Skip to main content

Department of Philosophy

Authors

Jeremy Avigad, Carnegie Mellon University

Title

Algebraic Proofs of Cut Elimination

Date of Original Version

6-16-2000

Type

Technical Report

Abstract or Table of Contents

Jeremey Avigad. Algebraic Proofs of Cut Elimination.

Comments

CMU-PHIL-111

Included in

Philosophy Commons

COinS