Ralf Hinze
Scans and Convolutions — A Calculational Proof of Moessner’s Theorem
IFL, 2008.
@inproceedings{IFL-2008-Hinze,
author = "Ralf Hinze",
booktitle = "{Revised Selected Papers of the 20th International Symposium on Implementation and Application of Functional Languages}",
doi = "10.1007/978-3-642-24452-0_1",
isbn = "978-3-642-24451-3",
pages = "1--24",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Scans and Convolutions — A Calculational Proof of Moessner’s Theorem}",
volume = 5836,
year = 2008,
}