fr:glossaire:reification
Différences
Ci-dessous, les différences entre deux révisions de la page.
| fr:glossaire:reification [2024/10/08 10:24] – créée mansour | fr:glossaire:reification [2024/10/08 14:36] (Version actuelle) – (nouvelle entrée pour dissocier la théorie des types logiques) mansour | ||
|---|---|---|---|
| Ligne 9: | Ligne 9: | ||
| <WRAP rightalign lo> | <WRAP rightalign lo> | ||
| - | [[fr: | + | [[fr: |
| + | [[fr: | ||
| \\ <wrap lo> | \\ <wrap lo> | ||
| </ | </ | ||
| </ | </ | ||
fr/glossaire/reification.1728375890.txt.gz · Dernière modification : de mansour
