Du typage vectoriel
L'objectif de cette thèse est de développer une théorie de types pour le λ-calcul linéaire-algébrique, une extension du λ-calcul motivé par l'informatique quantique. Cette extension algébrique comprend tous les termes du λ-calcul plus leurs combinaisons linéaires, donc si t et r sont des t...
| Main Author: | |
|---|---|
| Language: | fra |
| Published: |
Université de Grenoble
2011
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00631514 http://tel.archives-ouvertes.fr/docs/00/63/15/14/PDF/23547_DIAZ_-_CARO_2011_archivage_1_.pdf |