Вы здесь
Polakow J.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types | 2004 | Carlier S., Polakow J., Wells J. B., Kfoury A. J. | Lecture Notes in Computer Science | 23.04.2004 | |||
| СТ | Proving Syntactic Properties of Exceptions in an Ordered Logical Framework | 2001 | Polakow J., Yi K. | Lecture Notes in Computer Science | 06.04.2001 | |||
| СТ | Natural Deduction Intuitionistic Non-commutative Linear Logic | 1999 | Polakow J., Pfenning F. | Lecture Notes in Computer Science | 21.04.1999 |