Skip to content

Applying quantitative semantics to higher-order quantum computing.

Michele Pagani, Peter Selinger, Benot Valiron

VenueA*POPL
Year2014
ProceedingsPOPL

Browse the full POPL paper archive.