TY  - JOUR
AU  - Pair, C.
TI  - La formalisation des langages de programmation
JO  - Mathématiques 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://archive.numdam.org/item/MSH_1971__34__71_0/
LA  - fr
ID  - MSH_1971__34__71_0
ER  -