• Turing's proof of normalization for STLC

  • May 21 2024
  • Durée: 18 min
  • Podcast

Turing's proof of normalization for STLC

Écouter gratuitement

Voir les détails du balado

  • Résumé

  • In this episode, I describe the first proof of normalization for STLC, written by Alan Turing in the 1940s. See this short note for Turing's original proof and some historical comments.
    Voir plus Voir moins
Voir plus Voir moins

Ce que les auditeurs disent de Turing's proof of normalization for STLC

Moyenne des évaluations de clients

Évaluations – Cliquez sur les onglets pour changer la source des évaluations.

Évaluations sur Audible.ca

Évaluations sur Amazon.ca
Il n'y a pas encore de critiques pour ce titre.