Lectures on the Curry-Howard isomorphism by Morten Heine Sørensen
by Morten Heine Sørensen

Lectures on the Curry-Howard isomorphism

Lectures on the Curry-Howard isomorphism by Morten Heine Sørensen is available to buy at Bookshop.org.

AuthorMorten Heine Sørensen
PublisherElsevier
Pages442
ISBN-139780444520777
CategoryMore Books Books

Where to buy Lectures on the Curry-Howard isomorphism

Bookshop.org AvailableSee price at storeVisit
Store links may earn us a commission at no extra cost to you.