Derivation and computation : taking the Curry-Howard correspondence seriously / Harold Simmons
Main Author Simmons, Harold Country Reino Unido. Publication Cambridge : Cambridge University Press, cop. 2000 Description XXV, 384 p. : il. ; 24 cm Series Cambridge Tracts in Theoretical Computer Science , 51 ISBN 0-521-77173-0 CDU 519.6| Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
| Monografia | Biblioteca Geral da Universidade do Minho | BGUMD 109494 | Available | 356717 |
Total holds: 0
Enhanced descriptions from Syndetics:
There are no comments for this item.