Work With Data

Lectures on the Curry-Howard isomorphism

Updated: 110d ago

Lectures on the Curry-Howard isomorphism is a book. It was written by Morten Heine Sørensen and published by Elsevier Science in 2006.

Key facts

plus See more facts

Extract data

Download datasets about Lectures on the Curry-Howard isomorphism:

dataset Dataset of books series that contain Lectures on the Curry-Howard isomorphism:

dataset Dataset of book subjects that contain Lectures on the Curry-Howard isomorphism:

"Lectures on the Curry-Howard isomorphism" is one of the books by Morten Heine Sørensen, books by Elsevier Science and 2,617,384 books in our database.

This dashboard is based on data from: The British Library.

This content is available under the CC BY 4.0 license.