Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2003)

All listings for this product