Formalization of metatheory of the Quipper quantum programming language in a linear logic (Q2331074)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Formalization of metatheory of the Quipper quantum programming language in a linear logic
scientific article

    Statements

    Formalization of metatheory of the Quipper quantum programming language in a linear logic (English)
    0 references
    0 references
    0 references
    25 October 2019
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    Proto-Quipper
    0 references
    quantum programming languages
    0 references
    linear logic
    0 references
    Hybrid
    0 references
    higher-order abstract syntax
    0 references
    Coq
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references