Modèles topologiques quantitatifs de la Logique Linéaire

Modèles topologiques quantitatifs de la Logique
Linéaire
Marie Kerjean
Septembre 2013
Stage de M2 réalisé sous la direction de Christine Tasson,
Laboratoire PPS, Université Paris Diderot
marie.kerjean@ens-lyon.fr
Contexte
Calcul
Terme
Type
Évaluation
Curry-
Howard
Logique
Preuve
Formule
Normalisation
Sémantique
catégorique
Catégorie
Morphisme
Espace
Égalité
Historique
Syntaxe
λ-calcul λx:A.y:B
Logique Linéaire
Logique Linéaire
Différentielle
λ-calcul différentiel
Linéarité
Sémantique
quantitative
Différentiation
Sémantique
Espaces cohérents
Modèle Relationnel
Espace de Köthe
Historique
Syntaxe
λ-calcul λx:A.y:B
Logique Linéaire
Logique Linéaire
Différentielle
λ-calcul différentiel
Linéarité
f:A(Blinéaire
g:!A(Bnon-linéaire
Sémantique
quantitative
Différentiation
Sémantique
Espaces cohérents
Modèle Relationnel
Espace de Köthe
Historique
Syntaxe
λ-calcul
Logique Linéaire
Girard 88
Logique Linéaire
Différentielle
λ-calcul différentiel
Linéarité
Sémantique
quantitative
Différentiation
Sémantique
Espaces cohérents
Modèle Relationnel
Espace de Köthe
1 / 35 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !