Types for proofs and programs: international workshop, types '95, torino, italy, june 5 - 8, 1995 selected papers
Auteur :
Berardi, Stefano
ISBN :
9783540617808
Date de publication :
2 oct. 1996
Dimensions :
23,4 x 15,6 x 1,6 cm
Poids :
970 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
The 19 papers included in this book deal with foundations of type theory, logical frameworks, and implementations and applications, and present a current survey for the area of type theory.