Types for proofs and programs : international workshop TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers / - Berardi, Stefano.; Coppo, Mario. (Springer,, 1996)