Voir la notice de l'article provenant de la source Numdam
@article{MSH_1971__34__71_0,
author = {Pair, C.},
title = {La formalisation des langages de programmation},
journal = {Math\'ematiques informatique et sciences humaines},
pages = {71--86},
publisher = {Ecole Pratique des hautes \'etudes, Centre de math\'ematique sociale et de statistique},
volume = {34},
year = {1971},
zbl = {0229.68025},
language = {fr},
url = {http://geodesic.mathdoc.fr/item/MSH_1971__34__71_0/}
}
TY - JOUR AU - Pair, C. TI - La formalisation des langages de programmation JO - Mathématiques informatique et sciences humaines PY - 1971 SP - 71 EP - 86 VL - 34 PB - Ecole Pratique des hautes études, Centre de mathématique sociale et de statistique UR - http://geodesic.mathdoc.fr/item/MSH_1971__34__71_0/ LA - fr ID - MSH_1971__34__71_0 ER -
%0 Journal Article %A Pair, C. %T La formalisation des langages de programmation %J Mathématiques informatique et sciences humaines %D 1971 %P 71-86 %V 34 %I Ecole Pratique des hautes études, Centre de mathématique sociale et de statistique %U http://geodesic.mathdoc.fr/item/MSH_1971__34__71_0/ %G fr %F MSH_1971__34__71_0
Pair, C. La formalisation des langages de programmation. Mathématiques informatique et sciences humaines, Tome 34 (1971), pp. 71-86. http://geodesic.mathdoc.fr/item/MSH_1971__34__71_0/