Opérateurs de mise en mémoire et traduction de Gödel
- 1 July 1990
- journal article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 30 (4) , 241-267
- https://doi.org/10.1007/bf01792986
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Reasoning about functional programs and complexity classes associated with type disciplinesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1983
- Une Extension De ĽInterpretation De Gödel a ĽAnalyse, Et Son Application a ĽElimination Des Coupures Dans ĽAnalyse Et La Theorie Des TypesPublished by Elsevier ,1971