Main menu

Skip to primary content

Skip to secondary content

Blog
About

John's blog

Talking about technology (mostly)

Search

Post navigation

← Previous Next →

Curry–Howard correspondence

Posted on 2023-05-10 [Wednesday] by jj5

Some light reading. /s

This entry was posted in Chatter, Learning, Mathematics, Philosophy, Programming, Reading, Vocabulary and tagged Curry–Howard correspondence, Curry–Howard isomorphism by jj5. Bookmark the permalink.

Leave a Reply Cancel reply

You must be logged in to post a comment.

Tags

AI apache api bash c++ code command line css data database debian design disable error file firefox google HTML html5 http https install javascript kde lab linux mediawiki mysql password pcphpjs performance php postfix progclub programming size software ssh ssl svn ubuntu unicode vim web zfs

Powered by WordPress