Types for Proofs and Programs
Subtitle: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
Publisher: Springer
Published: Mar 12, 2014
Format: paperback
Number of pages: 220
ISBN-13: 9783662188460
Notes: Source title: Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers