Types for Proofs and Programs : International Workshop, Types 2006, UK, Revised Selected Papers (Lecture Notes in Computer Science) <Vol. 4502>

Availability Status

Usually dispatches within 3-4 weeks

While every attempt has been made to ensure stock availability, occasionally we may run out of stock at our stores.