Types for proofs and programs : International workshop TYPES '94 Bastad, Sweden, June 6-10, 1994 Selected papers /

Bibliographic Details
Corporate Author: International Workshop TYPES ’94 Bastad, Sweden
Other Authors: Dybjer, Peter (ed.), Nordström, Bengt (ed.)
Format: Conference Proceeding Book
Published: Berlin : Springer, 1995.
Series:Lecture notes in computer science ; v. 996
LNCS ; v. 996
Subjects: