TY  - JOUR
AU  - Jean-Louis Krivine
TI  - Langages à valeurs réelles et applications
JO  - Fundamenta Mathematicae
PY  - 1973
SP  - 213
EP  - 253
VL  - 81
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4064/fm-81-3-213-253/
DO  - 10.4064/fm-81-3-213-253
LA  - fr
ID  - 10_4064_fm_81_3_213_253
ER  -