Skip to main content

An Algebra of Scans

Ralf Hinze

Affiliation
Institut für Informatik III‚ Universität Bonn‚ Römerstraße 164‚ 53117 Bonn‚ Germany
Book Title
Proceedings of the Seventh International Conference on Mathematics of Program Construction (MPC '04)
Editor
Kozen‚ Dexter
Location
Stirling‚ Scotland‚ UK
Month
jul
Pages
186−210
Publisher
Springer Berlin / Heidelberg
Series
Lecture Notes in Computer Science
Volume
3125
Year
2004