Advances in linear logic
| Автор-организации: | Linear Logic Workshop |
|---|---|
| Други автори: | Girard, Jean-Yves., Lafont, Yves., Regnier, Laurent. |
| Формат: | Електронен |
| Език: | English |
| Публикувано: |
Cambridge ; New York, NY, USA :
Cambridge University Press,
1995.
|
| Серия: |
London Mathematical Society lecture note series ;
222. |
| Предмети: | |
| Онлайн достъп: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=552378 |
| Подобни документи: |
Print version::
Advances in linear logic. |
| Описание на библ. документ: |
Based on the Linear Logic Workshop held June 14-18, 1993, at the Mathematical Sciences Institute, Cornell University. |
|---|---|
| Физически характеристики: |
1 online resource (vi, 389 pages) : illustrations. |
| Библиография: |
Includes bibliographical references. |
| ISBN: |
9781107362420 1107362423 |