Tags · Quentin Aristote / Monoidal transducers minimization · GitLab

Tags give the ability to mark specific points in history as being important

csl2024

6ec12a86 · proofreading · Jul 28, 2023

Release: CSL 2024
```
Version for submission to CSL 2024.
```
Download source code

zip tar.gz tar.bz2 tar
hal

97de3e65 · proofreading · Jul 27, 2023

Release: HAL (2023-07-27)
```
Pre-print version destined to HAL.
```
Download source code

zip tar.gz tar.bz2 tar
v0.2

42c883cf · remove empty appendix · Jul 21, 2022

Release: v0.2 - second draft
```
changelog:

- compared results with eisner03
- moved proofs to appendix
- corrected typos, wording, etc.
```
Download source code

zip tar.gz tar.bz2 tar
v0.1

406d0788 · abstract and conclusion · May 26, 2022

Release: v0.1 - first draft
```
first draft
```
Download source code

zip tar.gz tar.bz2 tar