| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Lectures on the Curry-Howard Isomorphism, Volume 149 | 978-O-444-52O77-7 (O-444-52O77-5) | 2006 | Pawel Urzyczyn |
H.S. · M. H. · M S. · Morten Heine Sørensen M.Sc Ph.D
Morten Heine Sørensen M.Sc Ph.D