Ein strenger mathematischer Rahmen für fermionisches Quantencomputing kombiniert premonoidale Kategorien mit skalierbaren diagrammatischen Sprachen und ermöglicht Schaltkreiskompilation sowie Normalformen für praktische Optimierung.
@informaq-de.bsky.social