Book Sections
Year : 2022
Yannick Forster : Connect in order to contact the contributor
https://inria.hal.science/hal-03889493
Submitted on : Thursday, December 8, 2022-9:28:36 AM
Last modification on : Thursday, December 5, 2024-2:12:05 PM
Dates and versions
Identifiers
- HAL Id : hal-03889493 , version 1
- ARXIV : 2112.11781
- DOI : 10.1007/978-3-030-93100-1_6
Cite
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
37
View
0
Download