%0 Journal Article
%A Jean-Louis Krivine
%T Langages à valeurs réelles et applications
%J Fundamenta Mathematicae
%D 1973
%P 213-253
%V 81
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/fm-81-3-213-253/
%R 10.4064/fm-81-3-213-253
%G fr
%F 10_4064_fm_81_3_213_253