Вы здесь
Brauner T.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | A Model of Intuitionistic Affine Logic from Stable Domain Theory | 1994 | Brauner T. | Lecture Notes in Computer Science | 11.08.1994 | |||
| СТ | A Simple Adequate Categorical Model for PCF | 1997 | Brauner T. | Lecture Notes in Computer Science | 11.04.1997 | |||
| СТ | The Girard Translation Extended with Recursion | 1995 | Brauner T. | Lecture Notes in Computer Science | Computer Science Logic | 29.08.1995 |