Types for Proofs and Programs: International Workshop TYPES '96, Aussois, France, December 1996 : Selected Papers by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 1998)

Brand new: lowest price

AU $143.56

Free postage
  • Get it by Thursday, 4 Jan
  • Brand new condition
  • • Returns accepted