Вы здесь

Bidinger P.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ The Kell Calculus: Operational Semantics and Type System 2003 Bidinger P., Stefani J. -B. Lecture Notes in Computer Science 18.12.2003