Point-free program transformation (2005)

by A Cunha, J S Pinto
Venue:Fundamenta Informaticae