On Continuous Normalization

  title={On Continuous Normalization},
  author={Klaus Aehlig and Felix Joachimski},
This work aims at explaining the syntactical properties of continuous normalization, as introduced in proof theory by Mints, and further studied by Ruckert, Buchholz and Schwichtenberg. In an extension of the untyped coinductive λ-calculus by void constructors (so-called repetition rules), a primitive recursive normalization function is defined. Compared with other formulations of continuous normalization, this definition is much simpler and therefore suitable for analysis in a coalgebraic… CONTINUE READING

From This Paper

Topics from this paper.


Publications citing this paper.

Similar Papers

Loading similar papers…