Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994 : Proceedings (Lecture Notes in Computer Science) - Softcover

 
9780387605791: Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994 : Proceedings (Lecture Notes in Computer Science)
Softcover
ISBN 10: 0387605797 ISBN 13: 9780387605791

This specific ISBN edition is currently not available.

Language
English
ISBN 10 
0387605797
ISBN 13 
9780387605791
Binding
Paperback

Other Popular Editions of the Same Title

9783540605799: Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers: 996 (Lecture Notes in Computer Science, 996)

Featured Edition

ISBN 10:  3540605797 ISBN 13:  9783540605799
Publisher: Springer, 1995
Softcover