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 : 2024/10/08 10:24 de mansour