Geodesic
La formalisation des langages de programmation
Mathématiques informatique et sciences humaines, Tome 34 (1971), pp. 71-86 Cet article a éte moissonné depuis la source Numdam

Voir la notice de l'article

@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},
     year = {1971},
     publisher = {Ecole Pratique des hautes \'etudes, Centre de math\'ematique sociale et de statistique},
     volume = {34},
     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/