• More on basics of simple types

  • Apr 29 2024
  • Length: 16 mins
  • Podcast

More on basics of simple types

  • Summary

  • I review the typing rules and some basic examples for STLC. I also remind listeners of the Curry-Howard isomorphism for STLC.

    Show More Show Less
activate_samplebutton_t1

What listeners say about More on basics of simple types

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.