%0 Journal Article
%A Pair, C.
%T La formalisation des langages de programmation
%J Mathématiques 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://www.numdam.org/item/MSH_1971__34__71_0/
%G fr
%F MSH_1971__34__71_0