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 |