Types for proofs and programs: international workshop, types '98, kloster irsee, germany, march 27-31, 1998, selected papers
Auteur :
Altenkirch, Thorsten
ISBN :
9783540665373
Date de publication :
22 sept. 1999
Dimensions :
23,4 x 15,6 x 1,1 cm
Poids :
316 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This text constitutes the refereed post-workshop proceedings of the International Workshop on Types for Proofs and Programs, TYPES '98. A variety of aspects of type theory and type systems and their relation to proof theory are addressed.