Types for Proofs and Programs: International Workshop TYPES '94 Båstad, Sweden

Author
Peter Dybjer, Bengt Nordström, Jan Smith
Publisher
Springer
Subject
Computer Science
Year
1995
Vol/Edition
996
ISBN
9783540477709