Highly Influenced

# On Continuous Normalization

@inproceedings{Aehlig2002OnCN, title={On Continuous Normalization}, author={Klaus Aehlig and Felix Joachimski}, booktitle={CSL}, year={2002} }

- Published 2002 in CSL
DOI:10.1007/3-540-45793-3_5

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