most citedReduction Strategies in Lambda Term Normalization and their Effects on Heap Usage

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.PL2004★ 1 cited

Reduction Strategies in Lambda Term Normalization and their Effects on Heap Usage

Xiaochu Qi

Higher-order representations of objects such as programs, proofs, formulas and types have become important to many symbolic computation tasks. Systems that support such representat…