15-851
Computation & Deduction
Spring 1997
Frank Pfenning

Cut Elimination

Please see the directory /afs/cs/user/fp/courses/comp-ded/elf/cut-elim/ and the README and CONFIG files there.
[ C&D Home | Schedule | Code | Assignments | Notes | Projects | Elf ]

© Frank Pfenning 1992-1997
fp@cs