Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
типизированный
Связанные издания:
Meta-programming with Typed Object-Language Representations
Towards an Algebraic Theory of Typed Mobile Processes