ISBN 3540605797 books & textbook
Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers (Lecture Notes in Computer Science, 996)
Dybjer, Peter Nordström, Bengt Smith, Jan
Springer /1995-10-18 Paperback / 220 Pages
isbn-10: 3540605797 / isbn-13: 9783540605799
