Pre-Owned Lecture Notes in Computer Science: Types for Proofs and Programs: Second International Workshop Types 2002 Berg En Dal the Netherlands April 24-28 2002 Selected Papers (Paperback)

Pre-Owned Lecture Notes in Computer Science: Types for Proofs and Programs: Second International Workshop Types 2002 Berg En Dal the Netherlands April 24-28 2002 Selected Papers (Paperback)

These proceedings contain a refereed selection of papers presented at the Second Annual Workshop of the Types Working Group (Computer-Assisted Reasoning based on Type Theory EUIST project 29001) which was held April 24-28 2002 in Hotel Erica Berg en...


Walmart

$70.71
Free Delivery

Go to store
Items per page