Advances in linear logic edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier.

Share:
Advances in linear logic edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier.


Download now Advances in linear logic edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier. edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier.:







Choose file format of this book to download:



DMCA notice


Advances in linear logic edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier.


For copyright's owner (DMCA)
This page contains information about the book, but not the book itself.
There is also no reference to the book, books's content or download it.
This page is a database recording ISBN numbers and titles of books or magazines.
However, publications or references to them is not here.
All rights are reserved by their respective owners.
For any questions please email to [email protected]
Book's title: Advances in linear logic edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier.
Library of Congress Control Number: 95016325
International Standard Book Number (ISBN):0521559618 (pbk.)
System Control Number:(OCoLC)32392940
System Control Number:(OCoLC)ocm32392940
System Control Number:(NNC)1649494
Cataloging Source:DLC, DLC NjR OrLoB
Library of Congress Call Number:QA9.A1 L56 1995
Dewey Decimal Classification Number:511.3$220
Publication, Distribution, etc.:Cambridge ; New York . Cambridge University Press, (c)1995.
Physical Description:vi, 389 p. : ill. ;, 23 cm.
Series Statement:London Mathematical Society lecture note series ;$v222
General Note:Based on the Linear Logic Workshop held June 14-18, 1993, at the Mathematical Sciences Institute, Cornell University.
Bibliography, etc. Note:Includes bibliographical references.
Formatted Contents Note:Linear Logic: its syntax and semantics / J.-Y. Girard
Bilinear logic in algebra and linguistics / J. Lambek
A category arising in linear logic, complexity theory and set theory / A. Blass
Hypercoherences: a strongly stable model of linear logic / T. Ehrhard
Deciding provability of linear logic formulas / P. D. Lincoln
The direct simulation of Minsky machines in linear logic / M. I. Kanovich
Stochastic interaction and linear logic / P. D. Lincoln, J. Mitchell and A. Scedrov
Inheritance with exceptions / C. Fouquere and J. Vauzeilles
On the fine structure of the exponential rule / S. Martini and A. Masini
Sequent calculi for second order logic / V. Danos, J.-B. Joinet and H. Schellinx
From proof nets to interaction nets / Y. Lafont
Empires and kingdoms in MLL[superscript -] / G. Bellin and J. van de Wiele
Noncommutative proof nets / V. M. Abrusci
Volume of multiplicative formulas and provability / F. Metayer.
Formatted Contents Note:Proof-nets and the Hilbert space / V. Danos and L. Regnier
Geometry of interaction III: accommodating the additives / J.-Y. Girard.
Personal Name:Girard, Jean-Yves.
Personal Name:Lafont, Yves.
Personal Name:Regnier, Laurent.
Meeting Name:Linear Logic Workshop (1993 :, Mathematical Sciences Institute, Cornell University)
Uniform Title:London Mathematical Society lecture note series ;$v222.
Rubrics: Logic, Symbolic and mathematical
Congresses

Download now Advances in linear logic edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier.:





Click here to see similar releases:

Please leave the review about "Advances in linear logic edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier." book below: