Explore >> Select a destination
|
You are here 
|
www.dunod.com | ||
| | | | |
www.librairiedialogues.fr
|
|
| | | | | Plus d'1 million de titres, dont 350.000 livres disponibles, dossiers thématiques, conseils de lecture, vidéos d'écrivains, dédicaces... Achat avec expédition en 24h sur stock. | |
| | | | |
www.lyoncapitale.fr
|
|
| | | | | Éducation & Formation : Retrouvez toutes les dernières informations "Éducation & Formation" de Lyon et sa région | Voir plus | | |
| | | | |
www.over-blog.com
|
|
| | | | | Découvrez tous les blogs de la catégorie Emploi, Enseignement & Etudes créés sur Overblog dont SNASUB-FSU académie de Poitiers , , Bi-qualif de La Mure ... | |
| | | | |
hal.science
|
|
| | | There are two types of duality in Linear Logic. The first one is negation, balancing positive and negative formulas. The second one is the duality between linear and non-linear proofs, made symmetrical by Differential Linear Logic. The first duality has been here since the beginning of Linear Logic and has a significance in terms of proof-search and programming operation. However, the computational content of the second is still to understand. In this paper, we reexpress models of Differential Linear Log... | ||
