Guillaume Boisseau : Publications
-
[1]
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
-
[2]
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
-
[3]
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)
-
[4]
Understanding Profunctor Optics: A Representation Theorem
Guillaume Boisseau
Master's Thesis University of Oxford. September, 2017.
Details about Understanding Profunctor Optics: A Representation Theorem | BibTeX data for Understanding Profunctor Optics: A Representation Theorem
-
[5]
What You Needa Know about Yoneda: Profunctor Optics and the Yoneda Lemma (Functional Pearl)
Guillaume Boisseau and Jeremy Gibbons
In Proc. ACM Program. Lang.. Vol. 2. No. ICFP. July, 2018.
Details about What You Needa Know about Yoneda: Profunctor Optics and the Yoneda Lemma (Functional Pearl) | BibTeX data for What You Needa Know about Yoneda: Profunctor Optics and the Yoneda Lemma (Functional Pearl) | DOI (10.1145/3236779)