Lectures on Linear Logic - Couverture souple

Troelstra, A S

 
9780937073773: Lectures on Linear Logic
Couverture souple
ISBN 10 : 0937073776 ISBN 13 : 9780937073773
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 
0937073776
ISBN 13 
9780937073773
Reliure
Broché
Nombre de pages
210
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9780937073780: Lectures on Linear Logic

Edition présentée

ISBN 10 :  0937073784 ISBN 13 :  9780937073780
Editeur : Center for the Study of Language..., 1992
Couverture rigide