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

This volume contains a refereed selection of revised full papers chosen from the contributions presented during the Third Annual Workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs. The workshop took place in Torino, Italy, in June 1995. Type theor...

Disgrifiad llawn

Manylion Llyfryddiaeth

Awdur Corfforaethol:	TYPES :Turin, Italie
Awduron Eraill:	Coppo, Mario, 1947-...., informaticien (Cyfarwyddwr cyhoeddi), Berardi, Stefano (Cyfarwyddwr cyhoeddi)
Fformat:	Livre numérique
Iaith:	Anglais
Cyhoeddwyd:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Cyfres:	Lecture notes in computer science 1158
Pynciau:	Informatique Langages de programmation Intelligence artificielle Logique symbolique et mathématique Théorèmes > Démonstration automatique Actes de congrès
Mynediad Ar-lein:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nodyn:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Types for proofs and programs, international workshop TYPES '95, Torino, Italy, June 5-8, 1995, selected papers, Stefano Berardi, Mario Coppo, eds, 1996, Berlin, Springer, 1 vol. (X-296 p.), Lecture notes in computer science, 3-540-61780-9 • Types for Proofs and Programs, Texte imprimé, 9783662192207