Types for proofs and programs : international workshop TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers /

Bibliographic Details
Corporate Author:	TYPES '95 Turin, Italy
Other Authors:	Berardi, Stefano, Coppo, Mario
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, [1996]
Series:	Lecture notes in computer science ; 1158.
Subjects:	Automatic theorem proving > Congresses.

Remote Storage