Deforestation, program transformation, and cut-elimination.

J. Robin B. Cockett

Published in: CMCS (2001)

Keyphrases

cut elimination
linear logic
sequent calculus
inference rules
natural deduction
wide class
similarity measure
proof theoretic