Discuter:Instanciation universelle

Un article de Wikipédia, l'encyclopédie libre.

Tout ou partie de cet article est issu de la traduction de l'article sous GFDL « (en) Universal instantiation » . Consultez l'[../../../../../en/articles/u/n/i/Universal_instantiation.html?action=history historique de la page originale] pour connaître la liste de ses auteurs.

[modifier] Capture de variable

>Proz : Je note que finalement tu utilises le vocabulaire "libre/lié" ? - Eusebius ^[causons] 1 novembre 2007 à 14:30 (CET)

Oui mais au sens ordinaire, parlante/muette comme ont dit parfois, uniquement pour des variables. Ce que je n'utilises pas c'est "t est libre pour x dans A", au sens où tu l'utilisais "x n'apparait pas dans le champs d'un quantificateur sur une variable qui apparait libre dans t", qui me parait un usage assez différent, et que je ne connais pas. Déjà dire qu'un terme est libre ça me gêne. Proz 1 novembre 2007 à 14:44 (CET)