Вы здесь

Compagnoni A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
П Subtyping Dependent Types 1997 Aspinall D., Compagnoni A. Laboratory for Foundations of Computer Science КомпьютерПресс 20.08.1999
СТ An Object Calculus with Algebraic Rewriting 1997 Compagnoni A., Fernandez M. Lecture Notes in Computer Science 05.09.1997