Вы здесь
Hyland M.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Abstract Interpretation of Proofs: Classical Propositional Calculus | 2004 | Hyland M. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 23.12.2004 | ||
| СТ | Linear -Calculus and Categorical Models Revisited | 1993 | Benton N., Bierman G., De Paiva V., Hyland M. | Lecture Notes in Computer Science | 06.11.1993 |