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
$84.96

$84.96

Save:$6.53 (7%)

Quantity

10 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

$84.96

$84.96

More Information