Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers

This volume contains thoroughly refereed and revised full papers selected from the presentations at the first workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Nijmegen, The Netherlands, in May 1993. As the whole ESPRIT BRA 6453, this volume i...

Descripció completa

Dades bibliogràfiques

Autor corporatiu:	International workshop TYPES :Nimègue, Pays-Bas
Altres autors:	Barendregt, Hendrik Pieter, 1947- (Director editorial), Nipkow, Tobias, 1958-..., informaticien (Director editorial)
Format:	Livre numérique
Idioma:	Anglais
Publicat:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Col·lecció:	Lecture notes in computer science 806
Matèries:	Informatique Intelligence artificielle Logiciels Logique symbolique et mathématique Théorèmes > Démonstration automatique Actes de congrès
Accés en línia:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	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 '93, Nijmegen, The Netherlands, May 24-28, 1993, selected papers, Henk Barendregt, Tobias Nipkow, eds, Berlin, Springer-Verlag, 1994, 1 vol. (383 p.), Lecture notes in computer science, 3-540-58085-9 • Types for Proofs and Programs, Texte imprimé, 9783662204559