Skip to main content

Scans and Convolutions—A Calculational Proof of Moessner's Theorem

Ralf Hinze

Affiliation
University of Oxford‚ Computing Laboratory‚ Wolfson Building‚ Parks Road‚ Oxford OX1 3QD‚ England
Book Title
Post−proceedings of the 20th International Symposium on the Implementation and Application of Functional Languages (IFL '08)
Editor
Scholz‚ Sven−Bodo
Location
University of Hertfordshire‚ UK
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
5836
Year
2009