Reasoning about Entanglement and Separability in Quantum Higher-Order Functions - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Reasoning about Entanglement and Separability in Quantum Higher-Order Functions

Frederic Prost
Calculs algorithmes programmes et preuves
Chaouki Zerrari
  • Fonction : Auteur
VERIMAG

Nicolas Peltier  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00940911

Soumis le : lundi 3 février 2014-10:32:32

Dernière modification le : jeudi 4 avril 2024-20:55:49

Fichier non déposé

Dates et versions

hal-00940911 , version 1 (03-02-2014)

Identifiants

  • HAL Id : hal-00940911 , version 1

Citer

Frederic Prost, Chaouki Zerrari. Reasoning about Entanglement and Separability in Quantum Higher-Order Functions. UC, 2009, Ponta Delgada, Portugal. pp.219-235. ⟨hal-00940911⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA IMAG CNRS LIG LIG_MFML LIG_MFML_CAPP VERIMAG LIG_SIDCH
88 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More