Overview

Full Product Details

Author:   Anne Sjerp Troelstra
Publisher:   Centre for the Study of Language & Information
Imprint:   Centre for the Study of Language & Information
Edition:   2nd ed.
Volume:   29
Dimensions:   Width: 15.20cm , Height: 2.00cm , Length: 22.80cm
Weight:   0.524kg
ISBN:  

9780937073780

ISBN 10:   0937073784
Pages:   215
Publication Date:   30 May 1992
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   Out of stock  
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.

Table of Contents

1. Introduction; 2. Sequent calculus for linear logic; 3. Some elementary syntactic results; 4. The calculus of two implications: a digression; 5. Embeddings and approximations; 6. Natural deduction systems for linear logic; 7. Hilbert-type systems; 8. Algebraic semantics; 9. Combinatorial linear logic; 10. Girard domains; 11. Coherence in symmetric monoidal categories; 12. The storage operator as a coffee comonoid; 13. Evaluation in typed calculi; 14. Computation by lazy evaluation in CCC's; 15. Computation by lazy evaluation in SMC's and ILC's; 16. The categorical and linear machine; 17. Proofnets for the multiplicative fragment; 18. The algorithm of cut elimination for proof nets; 19. Multiplicative operators; 20. The undecidability of linear logic; 21. Cut elimination and strong normalization; References; Index.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions