Semantics for a Higher Order Functional Programming Language for Quantum Computation
L'objectif de cette thèse est de développer une sémantique d'ordre supérieur pour l'information quantique. S'appuyant sur les travaux de master (M.Sc.) de l'auteur, nous étudions un lambda-calcul pour le calcul quantique avec contrôle classique. Le langage comporte deux aspe...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
2008
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00483944 http://tel.archives-ouvertes.fr/docs/00/48/39/44/PDF/thesis.pdf |