inria-00075276, version 1

Naming and scoping in a mathematical vernacular

Gilles Dowek ¹

N° RR-1283 (1990)

• 1 :  INRIA Rocquencourt (INRIA Rocquencourt)
• INRIA

• Domaine : Informatique/Autre
• Référence interne : RR-1283
• Commentaire : Projet FORMEL

• inria-00075276, version 1
• http://hal.inria.fr/inria-00075276
• oai:hal.inria.fr:inria-00075276
• Contributeur : Rapport De Recherche Inria <>
• Soumis le : Mercredi 24 Mai 2006, 17:51:58
• Dernière modification le : Mercredi 31 Mai 2006, 14:24:35