Pith. sign in

Title resolution pending

Gilles Barthe, François Dupressoir, Benjamin Grégoire, César Kunz, Benedikt Schmidt, Pierre-Yves Strub · 2014 · Lecture notes in computer science · DOI 10.1007/978-3-319-10082-1_6

1 Pith paper cite this work, alongside 113 external citations. Polarity classification is still indexing.

1 Pith paper citing it
113 external citations · OpenAlex
open at publisher browse 1 citing papers

Title metadata for this work has not finished resolving. The hub is built from the citation graph; the title resolver retries DOI and OpenAlex on its next pass.

citation-role summary

background 1

citation-polarity summary

unclear 1

fields

cs.PL 1

years

2024 1

verdicts

CONDITIONAL 1

roles

background 1

polarities

unclear 1

representative citing papers

Laws of Quantum Programming

cs.PL · 2024-12-27 · conditional · novelty 7.0

A formally verified collection of algebraic laws, normal forms, and a tail-recursion theorem for quantum programs, generalizing Hoare's classical laws.

citing papers explorer

Showing 1 of 1 citing paper.

  • Laws of Quantum Programming cs.PL · 2024-12-27 · conditional · none · ref 7

    A formally verified collection of algebraic laws, normal forms, and a tail-recursion theorem for quantum programs, generalizing Hoare's classical laws.