Horror for Newbies

Types for Proofs and Programs > Editions

by Paul Callaghan First published March 22nd 2002

Sort by
Format
Language
Editions
Showing 1-2 of 2
Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Paperback)
Published March 12th 2014 by Springer
Paperback, 258 pages
Author(s):
ISBN:
9783662194775 (ISBN10: 3662194775)
ASIN:
3662194775
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lecture Notes in Computer Science, 2277)
Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lecture Notes in Computer Science, 2277)
Published February 20th 2002 by Springer
2002, Paperback, 256 pages
Author(s):
ISBN:
9783540432876 (ISBN10: 3540432876)
ASIN:
3540432876
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars

per page