A question about logic and Curry-Howard correspondence.
- by Bubba88
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?