Linéarité : un outil analytique pour l'étude de la complexité et de la sémantique des langages de programmation
Dans la première partie, on propose un système de type pour le lambda-calcul, dans le style du calcul des séquents, nomme « Soft Type Assignment » (STA) qui est inspiré par la logique linéaire « soft ». STA a la propriété de réduction du sujet et est correct et complète pour les calculs en temps pol...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
2007
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2007INPL099N/document |