More on basics of simple types

Iowa Type Theory Commute
29/04/2024 15 min Temporada 5 Episodio 2
More on basics of simple types

Listen "More on basics of simple types"

Descargar episodio

Episode Synopsis

I review the typing rules and some basic examples for STLC.  I also remind listeners of the Curry-Howard isomorphism for STLC.  
© 2003-2025 ZARZA | AHEAD OF OUR TIME
privacy policy
In God we trust In God we trust
PreSales Questions? Click Here
or call our toll-free line at +1-888-5002068 Miami, Florida, USA