Morten Heine B. Sørensen

Morten Heine B. Sørensen has written at least 0 books. Their most popular book is Lectures on the Curry-Howard Isomorphism with 1 save with an average rating of 5⭐.