Programmer, calculer et raisonner avec les réseaux de la Logique Linéaire
La première partie propose divers systèmes de réseaux d'interaction (calcul par réécriture muni d'une réduction atomique, locale et parallèle) qui simulent l'exécution des preuves de la logique linéaire (considérées comme des programmes). Les différents fragments de cette logique sont...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Paris-Diderot - Paris VII
2009
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00629013 http://tel.archives-ouvertes.fr/docs/00/62/90/13/PDF/these-sg.pdf |