Linear logic in computer science
Éditeur :
Cambridge University Press
ISBN :
9780521608572
Date de publication :
15 nov. 2004
Dimensions :
22,8 x 15,3 x 2,3 cm
Poids :
520 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
The purpose of this book is to illustrate the use of linear logic in the application of proof theory to computer science. It contains tutorials introducing the application of linear logic, as well as advanced contributions on recent trends. It is an excellent introduction to research topics in the area.