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