Find a copy in the library
Finding libraries that hold this item...
Details
Document Type: | Book |
---|---|
All Authors / Contributors: |
Jean-Yves Girard |
ISBN: | 9783037190883 3037190884 |
OCLC Number: | 757486610 |
Description: | xiii, 537 pages : illustrations ; 24 cm |
Contents: | Existence vs. essence -- Incompleteness -- Classical sequents: LK -- Intuitionistic logic: LJ, NJ -- Functional interpretations -- System F -- The category-theoretic interpretation -- Coherent spaces -- Linear logic -- Perfection vs. imperfection -- Proof-nets -- A hypothesis: polarisation -- Designs and behaviours -- Ludics: the reconstruction -- Orthodox exponentials -- Heterodox exponentials -- Quantum coherent spaces -- Nets and duality -- The feedback equation -- Babel Tower vs. Great Wall -- Finite GoI -- Envoi. The phantom of transparency. |
Responsibility: | Jean-Yves Girard. |
Reviews
User-contributed reviews
Add a review and share your thoughts with other readers.
Be the first.
Add a review and share your thoughts with other readers.
Be the first.


Tags
Add tags for "The blind spot : lectures on logic".
Be the first.