Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente | |||
fr:research:models-computation [2024/02/17 14:46] apeiron |
fr:research:models-computation [2024/02/17 15:25] (Version actuelle) apeiron |
||
---|---|---|---|
Ligne 1: | Ligne 1: | ||
- | FIXME | + | FIXME (outdated) |
Durant ma thèse j'ai prouvé des équivalences entre modèles de calcul en utilisant une simulation mutuelle, mettant en pratique l'identité des indiscernables. | Durant ma thèse j'ai prouvé des équivalences entre modèles de calcul en utilisant une simulation mutuelle, mettant en pratique l'identité des indiscernables. |