Chapitre D'ouvrage
Année : 2022
Yannick Forster : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03889493
Soumis le : jeudi 8 décembre 2022-09:28:36
Dernière modification le : mardi 27 août 2024-12:54:47
Dates et versions
Identifiants
- HAL Id : hal-03889493 , version 1
- ARXIV : 2112.11781
- DOI : 10.1007/978-3-030-93100-1_6
Citer
Yannick Forster. Parametric Church’s Thesis: Synthetic Computability Without Choice. Logical Foundations of Computer Science, 13137, Springer International Publishing, pp.70-89, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-93100-1_6⟩. ⟨hal-03889493⟩
Collections
35
Consultations
0
Téléchargements