Generic point-free lenses (2010)

by Hugo Pacheco , Alcino Cunha
Venue:In International Conference on Mathematics of Program Construction (MPC), Québec City, QC
Citations:16 - 8 self