Displaying 1 of 1 results for undefined
Lectures on the Curry-Howard isomorphism / Morten Heine Sørensen, Paweł Urzyczyn.
Text
Amsterdam ; Boston [MA] : Elsevier, 2006.
2006
1 Item
Format | Call Number | Item Location |
---|---|---|
FormatText | Call NumberJSE 06-1564 | Item LocationOffsite |