Вы здесь

Roversi L.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Polymorphic Language which is Typable and Poly-step 1998 Roversi L. Lecture Notes in Computer Science 18.12.1998
СТ A Type-Free Resource-Aware -Calculus 1997 Roversi L. Lecture Notes in Computer Science 18.07.1997
СТ Categorical Semantics of the Call-by-value -calculus 1995 Pravato A., Ronchi Della Rocca S., Roversi L. Lecture Notes in Computer Science 15.04.1995

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Thepretical Computer Science: Proc./7th Italian Conference, ICTCS 2001, Torino,Italy,October 2001 2001 Lecture Notes in Computer Science
  1. Restivo A.
  2. Ronchi Della Rocca S.
  3. Roversi L.
02.11.2001