Menu Expand
Login
Search Titles
Search
Catalogue (Books)
Publishers
Morten Heine Sørensen
Home
Authors & Editors
Morten Heine Sørensen
Results
(1–1 out of 1)
Sort by:
Title, ascending
Title, descending
Publication date, ascending
Publication date, descending
Newest added, ascending
Newest added, descending
Book
Lectures on the Curry-Howard Isomorphism
Morten Heine Sørensen
Pawel Urzyczyn
(2006)
Info
1
We use cookies to ensure that you get the best experience on our website.
Learn more about how we use cookies.
Accept all cookies
Reject non-essential cookies
