An Algebra of Pure Quantum Programming (Q2864167): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(9 intermediate revisions by 7 users not shown)
Property / author
 
Property / author: Juliana Kaizer Vizzotto / rank
Normal rank
 
Property / author
 
Property / author: Juliana Kaizer Vizzotto / rank
 
Normal rank
Property / Wikidata QID
 
Property / Wikidata QID: Q61583864 / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: QPL / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: QML / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2132938661 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: quant-ph/0506012 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Functional and Logic Programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2706552 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Towards a quantum programming language / rank
 
Normal rank
Property / cites work
 
Property / cites work: Typed Lambda Calculi and Applications / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Lambda Calculus for Quantum Computation / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 02:56, 7 July 2024

scientific article
Language Label Description Also known as
English
An Algebra of Pure Quantum Programming
scientific article

    Statements

    An Algebra of Pure Quantum Programming (English)
    0 references
    0 references
    0 references
    0 references
    6 December 2013
    0 references
    denotational semantics
    0 references
    completeness
    0 references
    normalisation
    0 references
    0 references
    0 references

    Identifiers

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