Crossmark

Typed Compositional Quantum Computation with Lenses

Crossref DOI link: https://doi.org/10.1007/s10817-026-09750-3

Published Online: 2026-05-22

Published Print: 2026-06

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Garrigue, Jacques https://orcid.org/0000-0001-8056-5519
Saikawa, Takafumi https://orcid.org/0000-0003-4492-745X
Funding

Funding for this research was provided by:

JSPS KAKENHI (JP22H00520)

MEXT Q-LEAP (JPMXS0120319794)
License Information

Text and Data Mining valid from 2026-05-22

Version of Record valid from 2026-05-22
More Information

Article History

Received: 1 September 2025

Accepted: 2 February 2026

First Online: 22 May 2026