Вы здесь
Giannini P.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Fickle: Dynamic Object Re-classification | 2001 | Drossopoulos S., Damiani F., Dezani-Ciancaglini M., Giannini P. | Lecture Notes in Computer Science | 14.07.2001 | |||
| СТ | A Decidable Intersection Type System Based on Relevance | 1994 | Damiani F., Giannini P. | Lecture Notes in Computer Science | 05.05.1994 |