Вы здесь
Rockl C.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | A Nominal Theory of Objects with Dependent Types | 2003 | Odersky M., Cremet V., Rockl C., Zenger M. | Lecture Notes in Computer Science | 23.09.2003 | |||
| СТ | Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the pi-Calculus and Mechanizing the Theory of Contexts | 2001 | Rockl C., Hirschkoff D., Berghofer S. | Lecture Notes in Computer Science | 05.05.2001 | |||
| СТ | A Pi-Calculus Process Semantics of Concurrent Idealised ALGOL | 1999 | Rockl C., Sangiorgi D. | Lecture Notes in Computer Science | 02.04.1999 |