Вы здесь

Curien P. -L.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Strong Normalization of Substitutions 1992 Curien P. -L., Hardin T., Rois A. Lecture Notes in Computer Science 17.09.1992
П Formal Parametric Polymorphism 1993 Abadi M., Cardelli L., Curien P. -L. Digital 30.10.1993
СТ A Model for Formal Parametric Polymorphism: A PER Interpretation for System R 1995 Bellucci R., Abadi M., Curien P. -L. Lecture Notes in Computer Science 14.04.1995
СТ Abstract Machines, Control, and Sequents 2002 Curien P. -L. Lecture Notes in Computer Science 26.10.2002
П Theory and Practice of Sequential Algorithms: The Kernel of the Applicative Language CDS 1983 Berry G., Curien P. -L. INRIA 26.04.2003

Редактор: