Lectures on Linear Logic - Couverture rigide

Troelstra, Anne Sjerp

 
9780937073780: Lectures on Linear Logic
Couverture rigide
ISBN 10 : 0937073784 ISBN 13 : 9780937073780
Editeur : Center for the Study of Language and Information Publica Tion, 1992

Synopsis

The initial sections of this text deal with syntactical matters such as logical formalism, cut-elimination, and the embedding of intuitionistic logic in classical linear logic. Concluding chapters focus on proofnets for the multiplicative fragment and the algorithmic interpretation of cut-elimination in proofnets.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Center for the Study of Language and Information Publica Tion
Date d'édition
1992
Langue
anglais
ISBN 10 
0937073784
ISBN 13 
9780937073780
Reliure
Relié
Nombre de pages
215
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9780937073773: Lectures on Linear Logic

Edition présentée

ISBN 10 :  0937073776 ISBN 13 :  9780937073773
Editeur : Center for the Study of Language..., 1992
Couverture souple