Boisseau, Guillaume
Documents Indexed: | 5 Publications since 2020, including 1 Additional arXiv Preprint |
Co-Authors: | 6 Co-Authors with 4 Joint Publications |
74 Co-Co-Authors |
all
top 5
Co-Authors
1 | single-authored |
1 | Hefford, James |
1 | Nester, Chad |
1 | Piedeleu, Robin |
1 | Román, Mario |
1 | Sobociński, Paweł |
1 | Wang, Vincent |
Serials
Fields
4 | Category theory; homological algebra (18-XX) |
2 | Computer science (68-XX) |
1 | Quantum theory (81-XX) |
1 | Information and communication theory, circuits (94-XX) |
Publications by Year
Cited by 2 Authors
1 | Di Lavore, Elena |
1 | Sobociński, Paweł |
Cited in 1 Serial
1 | Logical Methods in Computer Science |
Cited in 1 Field
1 | Category theory; homological algebra (18-XX) |