String Diagrams for Optics
Guillaume Boisseau
Address
Dagstuhl‚ Germany
Book Title
5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020)
Copyright
All rights reserved
Editor
Ariola‚ Zena M.
ISBN
978−3−95977−155−9
ISSN
1868−8969
Pages
17:1–17:18
Publisher
Schloss Dagstuhl– Leibniz−Zentrum für Informatik
Series
Leibniz International Proceedings in Informatics (LIPIcs)
Volume
167
Year
2020