Lectures on the Curry-Howard Isomorphism - Studies in Logic and the Foundations of Mathematics - Sorensen, Morten Heine, M.Sc, Ph.D (University of Copenhagen, Denmark) - Books - Elsevier Science & Technology - 9780444520777 - July 4, 2006
In case cover and title do not match, the title is correct

Lectures on the Curry-Howard Isomorphism - Studies in Logic and the Foundations of Mathematics 149 edition

Sorensen, Morten Heine, M.Sc, Ph.D (University of Copenhagen, Denmark)

Price
SEK 1,809

Ordered from remote warehouse

Expected delivery Jul 30 - Aug 8

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Lectures on the Curry-Howard Isomorphism - Studies in Logic and the Foundations of Mathematics 149 edition

The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as in type theory. The isomorphism has many aspects, even at syntactic level. This book offers an introduction to the proof theory and related aspects of type theory relevant for the isomorphism.

456 pages, illustrations

Media Books     Hardcover Book   (Book with hard spine and cover)
Released July 4, 2006
ISBN13 9780444520777
Publishers Elsevier Science & Technology
Pages 456
Dimensions 163 × 240 × 30 mm   ·   866 g

See all of Sorensen, Morten Heine, M.Sc, Ph.D (University of Copenhagen, Denmark) ( e.g. Hardcover Book )