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

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

<p>I review the typing rules and some basic examples for STLC.&nbsp; I also remind listeners of the Curry-Howard isomorphism for STLC. &nbsp;</p>

More on basics of simple types

Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.

Share More on basics of simple types