fonction
Gilles Dowek
La théorie des types et les systèmes informatiques de traitement de démonstrations mathématiques
Type theory and proof processing system
[Texte intégral]
Jean-pierre Descles et
Kye-seop
Cheong
Analyse critique de la notion de variable (points de vue sémiotique et formel) [2e partie]
Critical analysis of variable (semiotic and formal viewpoints) [second part]
Paru dans :
n° 174, Eté 2006
[Texte intégral]
