cross-posted from: https://toast.ooo/post/14722634

type theory meme

you are viewing a single comment's thread
view the rest of the comments
[–] 8 points 2 months ago (2 children)

I was aware of that, but I didn't want to do a full write-up from zero knowledge to type theory...

Maybe I'll do it later tho. Because I enjoy explaining this stuff.

Anyway, despite the comedic delivery, that comment should give a 1st year CS student all the keywords they need to research the subject. Especially the letters between Curry and Howard, which are referred to as the "Curry-Howard correspondence"

  • source
  • parent
  • hideshow 2 child comments