An Algebra of Scans (2004)

by R Hinze
Venue:Proc. Seventh Int. Conf. Mathematics of Program Construction (MPC 2004