• Introduction to normalization for STLC

  • May 14 2024
  • Durée: 10 min
  • Podcast

Introduction to normalization for STLC

Écouter gratuitement

Voir les détails du balado

  • Résumé

  • In this episode, after a quick review of the preceding couple, I discuss the property of normalization for STLC, and talk a bit about proof methods. We will look at proofs in more detail in the coming episodes. Feel free to join the Telegram group for the podcast if you want to discuss anything (or just email me at aaron.stump@gmail.com).
    Voir plus Voir moins
Voir plus Voir moins

Ce que les auditeurs disent de Introduction to 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.