10 citations · 10 across the 4 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
quant-ph2025
The Structure and Interpretation of Quantum Programs I: Foundations
David Wakeham
Qubits are a great way to build a quantum computer, but a limited way to program one. We replace the usual "states and gates" formalism with a "props and ops" (propositions and ope…
physics.hist-ph2025
A Short History of Rocks: or, How to Invent Quantum Computing
David Wakeham
This essay gives a short, informal account of the development of digital logic from the Pleistocene to the Manhattan Project, the introduction of reversible circuits, and Richard F…