Syntaxe et modèles d'une composition non-associative des programmes et des preuves
La thèse contribue à la compréhension de la nature, du rôle et des mécanismes de la polarisation dans les langages de programmation, en théorie de la preuve et dans les modèles catégoriels. La polarisation correspond à l'idée que la condition d'associativité de la composition peut être rel...
Main Author: | |
---|---|
Language: | ENG |
Published: |
Université Paris-Diderot - Paris VII
2013
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00918642 http://tel.archives-ouvertes.fr/docs/00/91/86/42/PDF/these-screen-final.pdf |