Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

von: Peter Dybjer · Bengt Nordström · Jan Smith

Taschenbuch

ISBN-13: 978-3-662-18846-0

ISBN-10: 3-662-18846-5

Springer · 2014

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