Buy Used and New JamesMcKinna Books

Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers: 2277 (Lecture Notes in Computer Science)

by Robert Pollack, Paul Callaghan, James McKinna, Zhaohui Luo

ISBN 13: 9783540432876

Format: Paperback (256 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later