• Begin Chapter on Simple Type Theory

  • Apr 19 2024
  • Length: 16 mins
  • Podcast

Begin Chapter on Simple Type Theory

  • Summary

  • In this episode, after a pretty long hiatus, I start a new chapter on simply typed lambda calculus. I present the typing rules and give some basic examples. Subsequent episodes will discuss various interesting nuances...

    Show More Show Less
activate_samplebutton_t1

What listeners say about Begin Chapter on Simple Type Theory

Average Customer Ratings

Reviews - Please select the tabs below to change the source of reviews.

In the spirit of reconciliation, Audible acknowledges the Traditional Custodians of country throughout Australia and their connections to land, sea and community. We pay our respect to their elders past and present and extend that respect to all Aboriginal and Torres Strait Islander peoples today.