A question about logic and Curry-Howard correspondence.

Posted by Bubba88 on Stack Overflow See other posts from Stack Overflow or by Bubba88
Published on 2010-05-13T18:38:56Z Indexed on 2010/05/13 18:44 UTC
Read the original article Hit count: 447

Filed under:
|
|
|

Hi.

Could you please explain me what is the basic connection between the fundamentals of logical programming and the phenomenum of syntatic similarity between type systems and conventional logic?

© Stack Overflow or respective owner

Related posts about curry

Related posts about isomorphism