Morten Heine Sorensen – författare

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

1 produkter

1. 

   Lectures on the Curry-Howard Isomorphism

   Av Pawel Urzyczyn, Morten Heine Sorensen

   E-bok, 2006

   1711 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 …