Malin Altenmüller -

Not registered as user

Name:Malin Altenmüller

Affiliation:University of Edinburgh

Contributions

2026

PLanQC

Author of Strictness by Rewrite: Formalising Bipermutative Categories and Quantum Program Semantics in Agda within the PLanQC 2026-track