https://github.com/georgejkaye/fscd2023-slides
Slides for my talk at FSCD 2023, 'Rewriting modulo traced comonoid structure'
https://github.com/georgejkaye/fscd2023-slides
Last synced: about 2 months ago
JSON representation
Slides for my talk at FSCD 2023, 'Rewriting modulo traced comonoid structure'
- Host: GitHub
- URL: https://github.com/georgejkaye/fscd2023-slides
- Owner: georgejkaye
- Created: 2023-06-11T13:58:45.000Z (almost 2 years ago)
- Default Branch: main
- Last Pushed: 2023-07-04T06:43:25.000Z (almost 2 years ago)
- Last Synced: 2025-04-12T06:44:15.087Z (about 2 months ago)
- Language: TeX
- Size: 548 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0