‹Programming› 2018
Mon 9 - Thu 12 April 2018 Nice, France
Tue 10 Apr 2018 11:00 - 11:30 at Baie des Anges B - Mathematical Foundations Chair(s): Jeremy Gibbons

We characterize those symmetric d-lenses which are representable as cospans of d-lenses. Such a symmetric d-lens must have unique corrs per pair of objects and satisfy two other technical conditions. When the d-lens is also ``least change'' then the corresponding cospan consists of c-lenses.

Tue 10 Apr

bx-2018-papers
11:00 - 12:30: Bx 2018 - Mathematical Foundations at Baie des Anges B
Chair(s): Jeremy GibbonsDepartment of Computer Science, University of Oxford
bx-2018-papers11:00 - 11:30
Full-paper
Michael JohnsonMacquarie University, Australia, Robert Rosebrugh
bx-2018-papers11:30 - 12:00
Short-paper
bx-2018-papers12:00 - 12:30
Talk
Jules HedgesUniversity of Oxford