Types and typechecking for Communicating Quantum Processes (Q5482266)

From MaRDI portal
scientific article; zbMATH DE number 5049765
Language Label Description Also known as
English
Types and typechecking for Communicating Quantum Processes
scientific article; zbMATH DE number 5049765

    Statements

    Types and typechecking for Communicating Quantum Processes (English)
    0 references
    0 references
    0 references
    28 August 2006
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references