Вы здесь

Piperno A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Expanding Extensional Polymorphism 1995 Di Cosmo R., Piperno A. Lecture Notes in Computer Science 15.04.1995
СТ -definition of Function(al)s by Normal Forms 1994 Bohm C., Piperno A., Guerrini S. Lecture Notes in Computer Science 06.05.1994
СТ Fully Abstract Semantics for Concurrent -calculus 1994 Dezani-Ciancaglini M., De Liguoro U., Piperno A. Lecture Notes in Computer Science 30.04.1994
СТ Filter Models for a Parallel and Non Deterministic -Calculus 1993 Dezani-Ciancaglini M., De Liguoro U., Piperno A. Lecture Notes in Computer Science 20.10.1993