2002
Paperback (20 Feb 2002)
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
This text contains the post-proceedings of the International Workshop of the TYPES Working Group held in Durham in December 2000. The 15 revised full papers address significant issues on type theory and type systems and their applications to programming, systems design and proof theory.
| ISBN: | 9783540432876 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 20 Feb 2002 |
| Edition: | 2002 |
| DEWEY: | 005.131 |
| DEWEY edition: | 21 |
| Language: | English |
| Number of pages: | 242 |
| Weight: | 820g |
| Height: | 234mm |
| Width: | 156mm |
| Spine width: | 13mm |
$16.22off
Paperback
Published 16 Oct 2020
Save $16.22
$8.63off
Hardback
Published 06 Jul 2023
Save $8.63
$11.92off
Hardback
Published 02 Aug 2023
Save $11.92
$1.49off
Paperback
Published 26 Jul 2023
Save $1.49
$4.42off
Paperback
Published 26 Jun 2023
Save $4.42
$5.00off
Paperback
Published 06 Jun 2023
Save $5.00
