Skip to content

Semantics of Higher-Order Quantum Computation via Geometry of Interaction.

Ichiro Hasuo, Naohiko Hoshino

VenueA*LICS
Year2011
ProceedingsLICS

Browse the full LICS paper archive.