Types for proofs and programs: international workshop types'96, aussois, france, december 15-19, 1996 selected papers
Auteur :
Gimenez, Eduardo
ISBN :
9783540651376
Date de publication :
7 oct. 1998
Dimensions :
23,4 x 15,6 x 2,0 cm
Poids :
543 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This volume presents the revised proceedings of a workshop on type proofs and programs. All aspects of type theory and type systems and their applications to program verification and theorem proving are addressed. The proof systems and theorem provers dealt with include Coq, LEGO, and Isabelle/HOL.