On the Invariance of the Unitary Cost Model for Head Reduction (Long Version)

Abstract

The λ-calculus is a widely accepted computational model of higher-order functional programs, yet there is not any direct and universally accepted cost model for it. As a consequence, the computational difficulty of reducing λ-terms to their normal form is typically studied by reasoning on concrete implementation algorithms. In this paper, we show that when… (More)

1 Figure or Table

Topics

  • Presentations referencing similar topics