Login to generate an author description
| Action | Title | Date | Authors |
|---|---|---|---|
| Classical notions of computation and the Hasegawa-Thielecke theorem | 2025-02-18 | Éléonore Mangel Paul-André Melliès Guillaume Munch-Maccagnoni | |
| Delooping the sign homomorphism in univalent mathematics | 2023-01-01 | Éléonore Mangel Egbert Rijke |
| Coauthor | Papers Together |
|---|---|
| Guillaume Munch-Maccagnoni | 1 |
| Paul-André Melliès | 1 |
| Egbert Rijke | 1 |
| Action | Title | Date | Authors | # of times referenced |
|---|