Confluence results for a quantum lambda calculus with measurements (Q2825377)

From MaRDI portal





scientific article; zbMATH DE number 6635933
Language Label Description Also known as
English
Confluence results for a quantum lambda calculus with measurements
scientific article; zbMATH DE number 6635933

    Statements

    Identifiers