Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers: 806 (Lecture Notes in Computer Science)

by Tobias Nipkow (Author), Henk Barendregt (Author)

New
Paperback
2008
$61.21

$61.21

Save:$28.04 (31%)

Quantity

20+ in stock

More Information

Format: Paperback
Pages: 404
Edition: 1994
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540580859
ISBN 13: 9783540580850

Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers: 806 (Lecture Notes in Computer Science)

New

$61.21

$61.21

More Information