Opening book details…
Can I read Advances in Linear Logic (London Mathematical Society Lecture Note Series, Series Number 222) on EtoBox?
Advances in Linear Logic (London Mathematical Society Lecture Note Series, Series Number 222) by Jean-Yves Girard; Yves Lafont; Laurent Regnier; Linear Logic Workshop is a nonfiction available to read on EtoBox.
What is Advances in Linear Logic (London Mathematical Society Lecture Note Series, Series Number 222) about?
Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic. The subject develops along the lines of denotational semantics, proof nets and the geometry of interaction. Its basic dynamical nature has attracted computer scientists, and various promising connections have been made in the areas of optimal program execution, interaction nets and knowledge representation. This book is the refereed proceedings of the first international meeting on linear logic held at Cornell University, in June 1993. Survey papers devoted to specific areas of linear logic, as well as an extensive general introduction to the subject by J.-Y. Girard, have been added, so as to make this book a valuable tool both for the beginner and for the advanced researcher.
Who reads Advances in Linear Logic (London Mathematical Society Lecture Note Series, Series Number 222)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Jean-Yves Girard; Yves Lafont; Laurent Regnier; Linear Logic Workshop
- Publisher
- Cambridge University Press (Virtual Publishing)
- Published
- 1995
- Language
- EN
- ISBN
- 9781107362420
- Category
- nonfiction
- Subjects
- Mathematics, Stem
More by Jean-Yves Girard; Yves Lafont; Laurent Regnier; Linear Logic Workshop
Browse all works by Jean-Yves Girard; Yves Lafont; Laurent Regnier; Linear Logic Workshop
Similar books
- Linear Logic in Computer Science (London Mathematical Society Lecture Note Series) — Thomas Ehrhard, Jean-Yves Girard. Paul Ruet and Philip Scott; Ehrhard, Thomas, 1961-; London Mathematical Society (2004)
- Synthetic Differential Geometry (London Mathematical Society Lecture Note Series, Series Number 333) — Anders Kock (2006)
- Independence-Friendly Logic: A Game-Theoretic Approach (London Mathematical Society Lecture Note Series, Series Number 386) — Allen L. Mann, Gabriel Sandu, Merlijn Sevenster (2011)
- Surveys in Modern Mathematics (London Mathematical Society Lecture Note Series, Series Number 321) — Prasolov V., Ilyashenko Yu. (2005)
- Surveys in Combinatorics 2022 (London Mathematical Society Lecture Note Series, Series Number 481) — Anthony Nixon; Sean Prendiville; British Combinatorial Conference (2022)
- Analysis and Logic (London Mathematical Society Lecture Note Series, Series Number 262) — Catherine Finet; Christian Michaux; C. Ward Henson; Jose Iovino; Alexander S. Kechris; Edward Odell (2002)