Goodreads Choice Awards 2025

Types for Proofs and Programs > Editions

by Thorsten Altenkirch First published 1999

Sort by
Format
Language
Editions
Showing 1-2 of 2
Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers (Lecture Notes in Computer Science, 1657)
Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers (Lecture Notes in Computer Science, 1657)
Published September 22nd 1999 by Springer
1999, Paperback, 220 pages
Author(s):
ISBN:
9783540665373 (ISBN10: 3540665374)
ASIN:
3540665374
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. Lecture Notes in Computer Science, Volume 1657
Types for Proofs and Programs. Lecture Notes in Computer Science, Volume 1657 (Paperback)
Published January 1st 1999 by Springer
Paperback, 0 pages
Author(s):
ASIN:
B01CNZN7WM
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