Вы здесь
Hirschkoff D.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | 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 |