Вы здесь

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