Вы здесь
Girard J. -Y.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Light Linear Logic | 1995 | Girard J. -Y. | Lecture Notes in Computer Science | Logic and Computational Complexity | 27.09.1995 | ||
| СТ | Linear Logic and Parallelism | 1987 | Girard J. -Y. | Univ. Paris | 03.06.1995 | |||
| СТ | Bounded linear logic: a modular approach to polynomial-time computability | 1992 | Girard J. -Y. | Theoretical Computer Science | 16.05.1992 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Typed Lambda Calculi and Applications: Proc./4th Intern. Conf., TLCA 99. L Aquila, Italy, April 1999 | 1999 | Lecture Notes in Computer Science |
|
21.04.1999 |