• Medientyp: E-Artikel
  • Titel: Logical Foundations of Computer Science: Parametric Church’s Thesis: Synthetic Computability Without Choice
  • Beteiligte: Forster, Yannick
  • Erschienen: Springer International Publishing, 2022
  • Erschienen in: Logical Foundations of Computer Science (2022), Seite 70-89
  • Sprache: Nicht zu entscheiden
  • DOI: 10.1007/978-3-030-93100-1_6
  • ISBN: 9783030930998; 9783030931001
  • ISSN: 0302-9743; 1611-3349
  • Entstehung:
  • Anmerkungen: