Notes
| Date | Title | Subtitle |
|---|---|---|
| Oct 28, 2026 | Double Categories | Lifting Programs to Specifications |
| Aug 12, 2026 | Double Categories | Notes on double categories |
No matching items
Jack Heaney
University of Strathclyde, Glasgow, UK
November 3, 2026
| Date | Title | Subtitle |
|---|---|---|
| Oct 28, 2026 | Double Categories | Lifting Programs to Specifications |
| Aug 12, 2026 | Double Categories | Notes on double categories |