Morten Heine S�rensen – författare

Visar alla böcker från författaren Morten Heine S�rensen. Handla med fri frakt och snabb leverans.

1 produkter

1. 

   Lectures on the Curry-Howard Isomorphism

   Av Morten Heine S�rensen, Pawel Urzyczyn

   Inbunden, 2006

   1611 kr

   Lägg i varukorg

   The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance,minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to …