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 - June 1, 2006
In case cover and title do not match, the title is correct

Sorensen, Morten Heine, M.Sc, Ph.D (University of Copenhagen, Denmark)
Lectures on the Curry-Howard Isomorphism - Studies in Logic and the Foundations of Mathematics 149 edition

Price
$ 181.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 25 - Jul 7

Our customers say:

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

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 June 1, 2006
ISBN13 9780444520777
Publishers Elsevier Science & Technology
Pages 456
Dimensions 163 × 240 × 30 mm   ·   825 g
Language English  

Mere med samme udgiver

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