Refine Your Search
Book List
1
-
Lectures on the Curry-Howard isomorphism [electronic resource] / Morten Heine Sørensen, Paweł Urzyczyn.
- 511.326
- Sørensen, Morten Heine.
- Elsevier,
- 2006.
- Amsterdam ; Boston [MA] :