Relating Algebraic and Coalgebraic Descriptions of Lenses

Jeremy Gibbons, Michael Johnson. Relating Algebraic and Coalgebraic Descriptions of Lenses. ECEASST, 49, 2012. [doi]

Abstract

Abstract is missing.