Last week in Grenoble we were visited by Alejandro Diaz-Caro from Argentina. Alejandro has been working on adding measurement to van Tonder’s quantum λ-calculus as part of his masters thesis. Details of this can be found in the slides for the talk he gave while here.
Alejandro, Pablo and I had interesting discussions about adding measurement, and possibly also a type system, to Pablo’s linear algebra λ-calculus, amongst other interesting discussions (including QML.) We also went over Alejandro’s proof that adding measurement to van Tonder’s calculus preserved confluence for the language.
Alejandro is working on a paper presenting this work, and I’ll post it here when it’s completed.
UPDATE: “Extended abstract” now available. See comment below for details.