Guillaume Boisseau
Guillaume Boisseau
Wolfson Building, Parks Road, Oxford OX1 3QD
Themes:
Selected Publications
-
String Diagrammatic Electrical Circuit Theory
Guillaume Boisseau and Paweł Sobociński
In arXiv:2106.07763 [cs‚ logic]. 2021.
Details about String Diagrammatic Electrical Circuit Theory | BibTeX data for String Diagrammatic Electrical Circuit Theory | Link to String Diagrammatic Electrical Circuit Theory
-
Graphical Piecewise−Linear Algebra
Guillaume Boisseau and Robin Piedeleu
In arXiv:2111.03956 [cs‚ math]. 2021.
Details about Graphical Piecewise−Linear Algebra | BibTeX data for Graphical Piecewise−Linear Algebra | Link to Graphical Piecewise−Linear Algebra
-
String Diagrams for Optics
Guillaume Boisseau
In Zena M. Ariola, editor, 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020). Vol. 167 of Leibniz International Proceedings in Informatics (LIPIcs). Pages 17:1–17:18. Dagstuhl‚ Germany. 2020. Schloss Dagstuhl– Leibniz−Zentrum für Informatik.
Details about String Diagrams for Optics | BibTeX data for String Diagrams for Optics | DOI (10.4230/LIPIcs.FSCD.2020.17)