Opérateurs de mise en mémoire et traduction de Gödel

@article{Krivine1990OprateursDM,
  title={Op{\'e}rateurs de mise en m{\'e}moire et traduction de G{\"o}del},
  author={Jean-Louis Krivine},
  journal={Arch. Math. Log.},
  year={1990},
  volume={30},
  pages={241-267}
}
Highly Influential
This paper has highly influenced 11 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS