The following pages link to (Q2723934):
Displaying 4 items.
- Deaccumulation techniques for improving provability (Q882487) (← links)
- Equivalence checking of two functional programs using inductive theorem provers (Q2410575) (← links)
- Correctness of Context-Moving Transformations for Term Rewriting Systems (Q5743602) (← links)
- Folding left and right matters: Direct style, accumulators, and continuations (Q6099203) (← links)
