Buy Used and New PeterDybjer Books

Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers: 996 (Lecture Notes in Computer Science)

by Peter Dybjer, Jan Smith, Bengt Nordstr??m

ISBN 13: 9783540605799

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

Save for later