Parametric Church’s Thesis: Synthetic Computability Without Choice - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Chapitre D'ouvrage Année : 2022

Parametric Church’s Thesis: Synthetic Computability Without Choice

Dates et versions

hal-03889493 , version 1 (08-12-2022)

Identifiants

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⟩
24 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More