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

Computer

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

Taschenbuch

ISBN: 978-3-540-60579-9

ISBN-10: 3-540-60579-7

Springer · 2008
S. auch:
2014PaperbackTypes for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers